映射：

设A、B是两个集合，如果f是一种法则，使得对于A中的每一个元素x，B中都有唯一确定的元素——记为f(x)——与x对应，则称f是一个由A到B的映射，用表示表示为：f:A→B.

集合A叫做映射f的定义域，f(x)∈B叫做x在映射f下的像或者f在x上的值。

映射相等：

设f:A→B,且g:A→B。如果对于任何x∈A,均有f(x)=g(x),我们说映射f与g相等，记为：f=g.