Tranzityvumas

Šiam straipsniui ar jo daliai trūksta išnašų į šaltinius. Jūs galite padėti Vikipedijai pridėdami tinkamas išnašas su šaltiniais.

Tranzityvumas (angl. Transitive relation) tai yra sąryšio/priklausomybės $R$ tarp dviejų aibės elementų apibūdinimas. Tarkime turime aibę X iš elementų {x, y, z}. Jei aibės elementų pora $(x,y)$ tenkina sąryšį $(xRy)$, o $(y,z)$ tenkina sąryšį $(yRz)$, tai sąryšis $R$ yra tranzityvus, jei jis $(xRz)$ galioja ir porai $(x,z)$ (kiekvieniems x, y, z iš aibės $X$). Formaliosios logikos kalba, dviejų elementų sąryšis/priklausomybė $\varrho \subset X\times X$ vadinama tranzityviu, kai:

$\forall _{x,y,z\in X}\;x\;\varrho \;y\land y\;\varrho \;z\implies x\;\varrho \;z$.

Pavyzdžiai

• Jei    $a=b$, o $b=c$, tai reiškia $a=c$
• Skaičių nelygybė    $a>b$ ir $b>c$, reiškia $a>c$
• Tiesių lygiagretumas    $a||b$ ir $b||c$, reiškia $a||c$

Tranzityvumo nebuvimas:

• Žaidimas „Akmuo, žirklės, popierius“ Akmuo stipresnis už žirkles, žirklės stipresnės už popierių; bet akmuo ne stipresnis už popierių