Transitivität
<=>
Relation