Mittetransitiivsus

Mittetransitiivsus (ka intransitiivsus) on binaarse seose omadus, mis seisneb selles, et vaadeldav seos pole transitiivne.

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

$\exists x,y,z:xRy\wedge yRz\wedge \neg xRz.$

Vaata ka

• Intransitiivsus