Relationstabelle/Eigenschaften/3/Aufgabe/Lösung

Die Relation ist nicht reflexiv, da ${}A$ nicht zu sich selbst in Beziehung steht. Die Relation ist symmetrisch, da die einzigen Relationsbeziehungen zwischen verschiedenen Elementen die Relation zwischen ${}B$ und ${}D$ ist, und diese in beide Richtungen gegeben ist. Daher ist die Relation auch nicht antisymmetrisch. Die Relation ist transitiv. Der einzige zu überprüfende nichttriviale Voraussetzung ist ${}BRD$ und ${}DRB$, wobei die Konklusion wegen ${}BRB$ und ${}DRD$

gilt.

Zur gelösten Aufgabe