Sei X eine Menge und ℜ die durch
AℜB ⇔ (A = B) ∨ (A = X \ B)
definierte Relation auf P(X). Zeigen Sie, dass ℜ eine Äquivalenzrelation ist.
Also betrachte mal eine Teilmenge Y von X ( also ein El. aus P(X) ).
Damit ℜ reflexiv ist müsste dann immer gelten YℜY.
Das heißt also (Y = Y) ∨ (Y = X \ Y) und das ist wegen
Y = Y sicher erfüllt.
Überlege dir einen entsprechenden Ansatz für "symmetrisch" und
wenn du es nicht zeigen kannst, dann frage hier nach. etc.