Intransitiivsus

Intransitiivsus ehk antitransitiivus on binaarse seose omadus, mis seisneb selles, et kui x on seoses y-ga ja y on omakorda seoses z-ga, siis x pole seoses z-ga.

Definitsioon 

Olgu 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 intransitiivsus on defineeritud järgmiselt:

Näited 

Näiteks seos "eelneb vahetult" on intransitiivne: kui x eelneb vahetult y-le ja y eelneb vahetult z-le, siis x ei eelne kunagi vahetult z-le.

Vaata ka 

 Transitiivsus

Matemaatika

en:Intransitivity#Antitransitivity
ru:Нетранзитивность#Антитранзитивность