来描述具有与该领域相关联的特定性质函数，例如，在拓扑学中的连续函数，线性代数中的线性变换等等。
定义.
在形式逻辑中.这个术语有时用来表示函数谓词（Functional predicate），在那里函数是集合论中谓词的模型。
在集合论中.设formula_1是两个非空集合，若对formula_2中的任一元素formula_3, 依照某种规律（或法则）formula_4, 恒有formula_5中的唯一确定的元素formula_6与之对