f:X→Y birebir ve g:Y→X birebir ise X kümesinden Y kümesine en az bir tane birebir örten bir fonksiyonun olduğunu gösteriniz.
f:X→Y birebir ve g:Y→X birebir olsun.
f:X→Y birebir⇒|X|≤|Y|g:Y→X birebir⇒|Y|≤|X|}⇒|X|=|Y|⇒∃h:X→Y bijektif.
Not: |X|:X kümesinin kardinalitesi