Отношения на множестве объектов
sergey shishkinДля сокращения записи введем обозначение Relation(Obj) для группы внутренних отношений InnerRelation на множестве объектов.
Определим покрытие отношениями множества объектов на примере множества объектов, покрытого отношениями связи (запись) Link(⟨Obj⟩)), в котором задаётся перечисление отношений внутренних связей для всех под-объектов множества.
Введем переход от группы отношений на множестве объектов к множеству, содержащему только истинные значения отношений в этой группе. Для этого будем использовать обозначение {RelGroup(...)}. Так выражение {Link(Obj)} определяет множество всех присутствующих на момент времени t связей между объектами множества.