Power set/Complement/Bijection/Exercise

Let ${}G$ be a set, and ${}{\mathfrak {P}}\,(G)$ its power set. Show that the mapping

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

is bijective. How does the inverse mapping look?

Create a solution