Es seien ${\displaystyle {}L}$ und ${\displaystyle {}M}$ zwei Mengen und ${\displaystyle {}\varphi \colon L\rightarrow M}$ eine bijektive Abbildung zwischen diesen Mengen. Zeige, dass für jede Teilmenge ${\displaystyle {}S\subseteq L}$ eine Bijektion ${\displaystyle {}S\rightarrow \varphi (S)}$ vorliegt, und dass ebenso für jede Teilmenge ${\displaystyle {}T\subseteq M}$ eine Bijektion ${\displaystyle {}\varphi ^{-1}(T)\rightarrow T}$