Eine Relation R {\displaystyle {}R} auf einer Menge M {\displaystyle {}M} heißt transitiv, wenn aus x R y {\displaystyle {}xRy} und y R z {\displaystyle {}yRz} stets x R z {\displaystyle {}xRz} folgt.
