Relationstabelle/Eigenschaften/3/Aufgabe/Lösung

Die Relation ist nicht reflexiv, da nicht zu sich selbst in Beziehung steht. Die Relation ist symmetrisch, da die einzigen Relationsbeziehungen zwischen verschiedenen Elementen die Relation zwischen und 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 und , wobei die Konklusion wegen und

gilt.