Transitivität

<=> Relation