P^2(ℕ) ist ja wohl die Menge aller Paare, deren Komponenten
Teilmengen von ℕ sind.
reflexiv: Du musst also überlegen, ob für jede Teilmenge A von ℕ gilt
∃a ∈ ℕ : a ∈ A ∧ a ∈ B, also ein a, dass in A und in B ist. Für die
leere Menge ist das falsch, also nicht reflexiv.
Symmetrie: Wenn es ein a gibt, mit a ∈ A ∧ a ∈ B
dann auch a ∈ B ∧ a ∈ A, also symmetrisch.
Transitivität: Wenn es ein a1 gibt mit a1 ∈ A ∧ a1 ∈ B
und es gibt ein a2 mit a2 ∈ B ∧ a2 ∈ C , dann muss
das für A und C nicht gelten, etwa
A={1;2} B={1;3} C={3;4}. also nicht transitiv.