Transitive relation (source code)

= Transitive relation
{wiki}

= Transitivity
{synonym}

= Transitive
{synonym}

A relation $\mathrel R$ is transitive when $x\mathrel R y$ and $y\mathrel R z$ imply $x\mathrel R z$.