Intransitiivsus

See artikkel räägib antitransitiivsusest; intransitiivsuse all võidakse mõelda ka nõrgemat omadust mittetransitiivsust. Keeleteaduse mõiste kohta vaata artiklit Sihitu tegusõna.

---

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:

$\forall x,y,z:xRy\wedge yRz\Rightarrow \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