Transitivity

Definition: Transitivity

A relation $R\subseteq A\times A$ is transitive iff

$$((xRy)\wedge (yRz))⟹xRz$$

for all $x,y,z\in A$.