换等等。
定义.
在形式逻辑中.这个术语有时用来表示函数谓词（Functional predicate），在那里函数是集合论中谓词的模型。
在集合论中.设formula_1是两个非空集合，若对formula_2中的任一元素formula_3, 依照某种规律（或法则）formula_4, 恒有formula_5中的唯一确定的元素formula_6与之对应，则称对应规律formula_4为一个从formula_2到formula_5的映射