Пусть P – строгое предпочтение (>), R – нестрогое предпочтение(>=), I – безразличие (=). Тогда транзитивность выражается как Из xIy & xPy следует xRy, Из xRy & xRz следует yRz, Из xRy & yRx следует xIy, Из xRy & yRz следует xRz