滿射

滿射或蓋射 （ surjection 、 onto ） ， 或稱滿射函數或映成函數 ， 一個函數爲滿射 ， 則對於任意的陪域 中的元素 ， 在函數的定義域 中存在一點 使得 。 換句話說 ， 是滿射時 ， 它的值域與陪域相等 ， 或者 ， 等價地 ， 如果每一個陪域中的元素 其原像 不等於空集合 。