Intransitiivsus

Allikas: Vikipeedia
Disambig gray.svg  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[muuda | redigeeri lähteteksti]

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: x R y \wedge y R z \Rightarrow \neg x R z.

Näited[muuda | redigeeri lähteteksti]

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[muuda | redigeeri lähteteksti]