满射 满射或蓋射英語surjectiononto或稱满射函数或映成函數一个函数 f  X  Y displaystyle fXrightarrow Y 为满射則对于任意的陪域 Y displaystyle Y 中的元素 y displaystyle y 在函数的定义域 X displaystyle X 中存在一點 x displaystyle x 使得 f  x   y displaystyle fxy 换句话说 f displaystyle f 是满射時它的值域 f  X  displaystyle fX 与陪域 Y displaystyle Y 相等或者等价地如果每一个陪域中的元素 y  Y displaystyle yin Y 其原像 f    y   X displaystyle fysubseteq X 不等於空集合