Tranzitivnost

Tranzitivnost je matematična lastnost relacije, pri kateri iz odnosa prvega elementa z drugim in drugega s tretjim sledi isti odnos prvega elementa s tretjim. Primer za tranzitivni odnos je enakost.

$\forall x,y,z \in A : x R y \and y R z \Rightarrow x R z \!\, .$