Potenzmenge/Komplementbildung/Bijektion/Aufgabe

Es sei ${}G$ eine Menge und ${}{\mathfrak {P}}\,(G)$ ihre Potenzmenge. Zeige, dass die Abbildung

${\mathfrak {P}}\,(G)\longrightarrow {\mathfrak {P}}\,(G),\,T\longmapsto \complement T,$

bijektiv ist. Wie lautet die Umkehrabbildung?

Eine Lösung erstellen