2.6.J. Прямоугольные

Бинарное отношение является прямоугольным, если оно может быть выражено как произведение множеств. Для этого ˂e1, f1˃ и ˂e1, f2˃ и ˂e2, f1˃ во множестве S подразумевают ˂e2, f2˃ в S. По аналогии с вышесказанным это дает:

6J.1  S прямоугольно SS-1S = { }. (Riguet)

Перевод © 2011 Сергей Котов

Теория множеств механизма и гомеостаза