Transitivita je vlastnosť binárneho vzťahu R na množine, čo znamená nasledovné: ak je prvok A spojený s prvkom B a prvok B je spojený s prvkom C, potom je prvok A nevyhnutne spojený s prvkom C.

Formálne: pre všetky A, B, C platí: ak (A R B) a (B R C), potom (A R C).

Príklad: vzťah "byť starší ako" je tranzitívny. Ak je Alice staršia ako Beto a Beto je starší ako Cati, potom je Alice staršia ako Cati.

V programovaní a teórii množín je tranzitivita dôležitá pre pochopenie poradia a spojení medzi prvkami.

Predchádzajúce Ďalej