Relation transitive

Une relation transitive est une relation binaire $\mathcal{R}$ sur un ensemble E telle que, pour tous les éléments x, y, z de E, si x est en relation avec y et y est en relation avec z, alors x est obligatoirement en relation avec z.
$\forall x,y,z\in E,\quad (x\mathcal{R}y\land y\mathcal{R}z)\implies x\mathcal{R}z$