Transitivity

A binary relation $\succeq$ on a set $X$ is transitive iff for all $a,b,c \in X$, $a \succeq b$ and $b \succeq c$ imply $a \succeq c$.