Термин из теорката.
Отношения порядка
Полный порядок – это тройка: A > B, A < B, A == B
Частичный порядок – это четыре:
- A > B,
- A < B,
- A == B,
- A и B несравнимы.
Если есть соотношение вещей по какому-то признаку, отдалённо похожему на включение, граф, направленные стрелки, то наверняка можно распознать целостность через введение частичного порядка.