Instead, a CC system must obey a 5-point transitivity axiom and a new interiority axiom, which constrains the 4-point configurations that violate cyclic transitivity.
Вместо этого система CC должна удовлетворять 5-точечной аксиоме транзитивности и новой аксиоме внутренности, которая ограничивает 4-точечные конфигурации, которые нарушают циклическую транзитивность.