Wie könnte man zeigen dass leere Relation transitiv eine ist?
meine lösung wäre:
Z.z: Sei R ⊆ A x A, A = {}, gilt ∀x, y, z ∈ A mit xRy ∧ yRz ⇒ xRz
Bewies:
Da A leer ist, haben wir keine Elemente, mit denen wir dir Bedingung prüfen können, deshalb ist ein leeres Relation immer automatisch transitiv.
ist mein Beweis richtig?
Punkte: 12