2) Dom(f) = A；
　　则称 f 为从 A 到 B 的函数，或称为映射，记作f：AB．若有a , bf，则可记作b = f(a)。
　　（2）满射、单射和双射
　　设 f 是从集合 A 到 B 的函数，
　　1) 若Ran(f) = B，则称 f 为从 A 到 B 的满射；
　　2) 若对任意bRan(f )，都存在唯一的aDom(f )，使得f(a) = b，则称 f 为从 A 到 B 的单射，或称一对一的；
　　3) 若 f 从 A 到 B 既是满射又是单射的，则称 f 为从 A 到 B 的双射，或称一一对应的。