
Die Aufgabe ist zu prüfen ob es sich um eine ir-/reflexive Halb- oder Ordnung handelt, oder nichts von beiden.
Mein Ansatz ist folgender:
- da ja das kartesische Produkt gemeint ist, was diese Mengenpaare (X, Y) bildet muss das ganze ersteinmal reflexiv sein, da jede Menge ja eine Teilmenge von sich selbst ist, ist diese Relation reflexiv (also Y ist Teilmenge von Y)
- es könnte antisymmetrisch sein, wenn geordnete Paare (a, {a,b}) in Frage kommen, jedoch bin ich mir nicht sicher ob {a,b} eine Teilmenge von a ist
Ja und ab hier steck ich fest...
Hilfe wäre ich sehr dankbar.
MfG Max