满射

设 是一个定义在集合 上且取值于集合 的函数。 如果对于任意 ，都存在一个 使得 ，则称 为满射（或满射映射）。 满射有时也被称为“映上”。

设该函数是一个算符，它将定义域中的点映射到值域中的每个点，并设 是一个向量空间，其中 。 那么，定义在 上的变换 是一个满射，如果对于所有 ，都存在一个 使得 。

在集合、群、模等范畴中，满同态与满射相同，并且在范畴论之外与“满射”同义使用。