满射,首先满足映射的定义.
即对于一个对应关系f,对于集合A中的任何一个元素,在集合B中都有唯一一个元素与之对应.则我们把这种对应关系称为映射.A中元素称为原象,B中元素称为象.
满射是在映射的基础上多加了一个条件,即集合B中的每一个元素都有原象,也即B中的元素没有剩余.