Антитранзитивность

Антитранзитивность — свойство нетранзитивного бинарного отношения : из выполнения и следует отсутствие отношения для и — .

По закону контрапозиции следующие определения антитранзитивности эквиваленты: , .

Пример антитранзитивного отношения — нечётность суммы: если и — нечётны, то — чётно; другой популярный пример — отношение «сильнее» в игре «Камень, ножницы, бумага».