Du musst drei Eigenschaften der Relation beweisen:
1. reflexiv. Also überlege, ob jede Menge A mit sich selbst in der Relation steht.
Dazu müsste es geben eine Bijektion A → A. Die gibt es in der Tat, es ist z.B.
die Identität eine solche.
2. symmetrisch: Also prüfe: A ∼ B ==> B ∼ A.
Etwa so: A ∼ B ==> Es gibt eine Bijektion A → B
Bijektionen haben Umkehrabbildungen, also gibt
es auch eine Bijektion B → A.
3. transitiv: Probiere mal selbst und benutze:
Verkettungen von Bijektionen sind Bijektionen.