集合元素数量的比较

设有两个集合 $A,B$，有函数 $f:A\to B$，称该函数是

• 单射（injective, one-to-one）：如果两个不同的元素不会被映射为相同的元素
• 满射（surjective, onto）：如果所有 B 中的元素都包含在映射关系内
• 双射（bijective, same size, correspondence）：既是单射又是满射

称一个集合 A 是可数的，如果它是有限的或和自然数一样大。