有限数学 例

全単射は2個の集合の要素を正確にペアリングする機能です。1つの集合のすべての要素は、もう1つの集合の要素1個と正確にペアにする必要があります。もう1つの集合のすべての要素は、最初の集合の要素1個と正確にペアにする必要があります。また、ペアになっていない要素はありません。${\displaystyle (2,2),(2,2)}$は単射関数ではないので、全単射関数にならないことを意味します。