mula_2相等，或者，等价地，如果每一个陪域中的元素 formula_10 其原像 formula_11 不等于空集合。
例子和反例.函数formula_12，定义为formula_13，不是一个满射，因为，（举例）不存在一个实数满足formula_14。但是，如果把formula_15的陪域限制到只有非负实数，则函数formula_15为满射。这是因为，给定一个任意的非负实数formula_3，我们能对formula_18求解，得到formula_19。