Отношения между двумя множествами объектов

Введем краткую запись Relation2(Obj1,Obj2) для группы отношений PairRelation​ между двумя множествами объектов Obj1,Obj2.

Отметим что в записи отношений, определённых внутри одного момента времени, для упрощения записи возможно опускание индекса времени у объектов или у отношения, но необходимо наличие хотя бы одного его указания.

Особо стоит выделить эквивалентность двух множеств объектов Obj1​∼Obj2​. Это выражение определяет не группу отношений, а одно отношение, проверяющее существование биекции​.

Для сопоставления отношений между под-объектами двух эквивалентных множеств объектов целесообразно ввести краткую запись ...

https://telegra.ph/Obshchaya-teoriya-algoritmov-01-20