rjection）.一个函数称为满射（到上）如果每个可能的像至少有一个变量映射其上，或者说陪域任何元素都有至少有一个变量与之对应。形式化的定义如下：
双射（bijection）.既是单射又是满射的函数称为双射. 函数为双射当且仅当每个可能的像有且仅有一个变量与之对应。
势.双射函数经常被用于表明集合"X"和"Y"是等势的，即有一样的基数。如果在两个集合之间可以建立一个一一对应，则说这两个集合等势。如果formula_35皆为有限集合，则这两个