Es seien L {\displaystyle {}L} und M {\displaystyle {}M} Mengen und es sei F : L → M {\displaystyle {}F\colon L\rightarrow M} eine bijektive Abbildung. Zeige: Wenn L {\displaystyle {}L} endlich mit n {\displaystyle {}n} Elementen ist, so ist auch M {\displaystyle {}M} endlich mit n {\displaystyle {}n} Elementen.
