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:xRy\land yRz\Rightarrow xRz\!\,.$$\forall x,y,z\in A:xRy\land yRz\Rightarrow xRz\!\,.$