函数为双射当且仅当每个可能的像有且仅有一个变量与之对应。
势.双射函数经常被用于表明集合"X"和"Y"是等势的，即有一样的基数。如果在两个集合之间可以建立一个一一对应，则说这两个集合等势。如果formula_35皆为有限集合，则这两个集合中formula_35之间存在一个双射，当且仅当X和Y的元素数相等。其实，在公理集合论中，"元素数相同"的定义被认为是个特例，一般化这个定义到无限集合需要导入基数的概念，这是一个区别各类不同大小的无限集合的方法。Section