Изменения

Бинарное отношение <tex>R</tex>, заданное на множестве <tex>X,</tex> называется '''нетранзитивным''', если <tex>\exists ~a, b, c \in X\colon ~(aRb)~ \land ~(bRc)~ \Rightarrow land ~\neg(aRc)</tex>.