Eigenschaft einer zweistelligen Relation R auf einer Menge M, die transitiv ist, d. h., für alle a, b, c aus M folgt aus a R b und b R c stets a R c. Die Gleichheitsrelation auf einer beliebigen Menge und die Ordnungsrelation »kleiner als« auf der Menge der