Nun, wenn die Mengen nur so wenig Elemente haben ( jeweils 2 ), dann kann man das doch sogar elementweise nachweisen:
X = { x1, x2 }
Y = { y1, y2 }
X x Y = { ( x1, y1 ) , ( x2, y1 ) , ( x1, y2 ) , ( x2, y2 ) }
Aufgabe 1:
{ x1 } x Y = { ( x1, y1 ) , ( x1, y2 ) }
Wie man leicht nachprüfen kann, sind alle Elemente von { x1 } x Y in X x Y enthalten,
also ist { x1 } x Y eine Untermenge von X x Y.
Aufgabe 2:
Alle Mengen { x } x Y mit x ∈ X sind die Mengen:
X1 = { x1 } x Y = { ( x1, y1 ) , ( x1, y2 ) }
X2 = { x2 } x Y = { ( x2, y1 ) , ( x2, y2 ) }
Die Vereinigungsmenge dieser Mengen ist:
X1 ∪ X2 = { ( x1, y1 ) , ( x1, y2 ) } ∪ { ( x2, y1 ) , ( x2, y2 ) } = { ( x1, y1 ) , ( x2, y1 ) , ( x1, y2 ) , ( x2, y2 ) }
und das ist offensichtlich die Menge X x Y