由集合 X 至集合 Y 的映射是 X 中诸元与 Y 中元素的对应关系，任意的 x X，恒有唯一的y Y与之对应，称为像，并为y＝f(x)。 记号 f 表由 X 至 Y 的映射，亦称函数或转换(function 或 transformation)。X 则称为f的定义域(domain)，f(x) Y称为f的值域或变程(range)。