Transitive

A Relation $R$ on a Set $S$ is transitive provided that for all $x$, $y$ and $z$ in $S$ such that $x R y$ and $y R z$, we also have $x R z$.

See also Associative, Commutative, Relation