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