满射：对任意b，存在a满足f(a) = b～

即：值域y是满的，每个y都有x对应，不存在某个y没有x对应的情况～

单射：(one-to-one function) 一对一函数，x不同则y不同～

即：没有一个x对应两个y，也没有一个y有对应两个x～

双射：既是满射，也是单射～

即：每个y都有x对应，而且都是一一对应～