text: Отношение R называется антитранзитивным, если транзитивность отсутствует для любых троек элементов: ∀ a , b , c : a R b ∧ b R c ⇒ ¬ ( a R c ) {\displaystyle \forall a,b,c:aRb\wedge bRc\Rightarrow \neg (aRc)} Например, упомянутое выше отношение «есть» не является антитранзитивным: люди едят кроликов, кролики едят морковь, но люди тоже едят морковь.