满射:对任意b,存在a满足f(a) = b 即:值域y是满的,每个y都有x对应,不存在某个y没有x对应的情况