映射定义 : X Y 为非空集合 法则 f 对 X 中每一个元素 x 有唯一的 y 与之对应 f 称之为映射 记做 f：X -> Y (X 称之为原像 Y 称之为像)
定义域(Df : Domain) : x 的 取值范围
值域(Rf : Range) : y 的取值范围
满射 ： Rf = Y
单射 ： x1 != x2 =>f(x1) != f(x2)
一一映射(满单射) ：Rf = Y && x1 != x1 => f(x1) != f(x2)
逆映射定义 ：设 f ：X -> Y 为单射 每个 y ∈ Rf 有唯一的 x ∈ X 与之对应 f-1 称之为逆映射 记做 f-1 ：Y-> X
复合映射 ：g : X -> Y1 f : Y2 -> Z Y1 属于 Y2 记做 f[g(x)] ∈ Z 或 f o g：X->Z