Tranzityvumas

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

 .

Pavyzdžiai 
 Jei    , o , tai reiškia 
 Skaičių nelygybė     ir , reiškia 
 Tiesių lygiagretumas     ir , reiškia 

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

Matematika