何谓满射

      满射，一个函数称为满射。或称盖射（英语：surjection、onto），或称满射函数或映成函数。一个函数f：x→y为满射，则对于任意的陪域Y中的元素 y，在函数的定义域X中存在一点 x使得f(x)=y。