Mittetransitiivsus
Mittetransitiivsus (ka intransitiivsus) on binaarse seose omadus, mis seisneb selles, et vaadeldav seos pole transitiivne.
Definitsioon
muudaOlgu R binaarne seos mingil hulgal A ning x, y ja z hulga A mingid elemendid. Tähistame asjaolu, et x on y-ga seoses R, valemiga xRy. Seose R mittetransitiivsus on defineeritud järgmiselt: