滿射

設 是一個定義在集合 上且取值於集合 的函式。 如果對於任意 ，都存在一個 使得 ，則稱 為滿射（或滿射對映）。 滿射有時也被稱為“映上”。

設該函式是一個算符，它將定義域中的點對映到值域中的每個點，並設 是一個向量空間，其中 。 那麼，定義在 上的變換 是一個滿射，如果對於所有 ，都存在一個 使得 。

在集合、群、模等範疇中，滿同態與滿射相同，並且在範疇論之外與“滿射”同義使用。