Concept history

Concept translation created

Une [[relation(set theory)|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\)