В теоркате – функтор A, B -> +1, 0, -1, ???
Порядок может быть полным (тогда всё может быть размещено раньше или позже, или признано равным), или частичным (тогда есть сравнимые и несравнимые элементы).
Полный порядок порождает структуры типа Иерархия, Холократия.
Частичный – Бахрома
Отсутствие – Ризома