满射或盖射（），或称满射函数或映成函数，一个函数formula_1为满射，则对于任意的陪域 formula_2 中的元素 formula_3，在函数的定义域formula_4 中存在一点 formula_5 使得 formula_6。换句话说，formula_7是满射时，它的值域formula_8与陪域formula_2相等，或者，等价地，如果每一个陪域中的元素 formula_10 其原像 formula_11 不等于空集合。
例子和反例.函数formula_12，定义为for