Intransitiivsus

Mall:See artikkel 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:

$\mathrm{\forall }x,y,z:xRy\wedge yRz\Rightarrow \mathrm{\neg }xRz.$

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

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