$f:X\to Y$ birebir ve $g:Y\to X$ birebir olsun.
$$\left.\begin{array}{rr} f:X\to Y \text{ birebir}\Rightarrow |X|\leq|Y| \\ g:Y\to X \text{ birebir}\Rightarrow |Y|\leq|X| \end{array}\right\}\Rightarrow |X|=|Y|\Rightarrow \exists h:X\to Y \text{ bijektif}.$$
Not: $|X|: X$ kümesinin kardinalitesi