映射，或者射影，在数学及相关的领域经常等同于函数。基于此，部分映射就相当于部分函数，而完全映射相当于完全函数。在很多特定的数学领域中，这个术语用来描述具有与该领域相关联的特定性质函数，例如，在拓扑学中的连续函数，线性代数中的线性变换等等。
定义.
在形式逻辑中.这个术语有时用来表示函数谓词（Functional predicate），在那里函数是集合论中谓词的模型。
在集合论中.设formula_1是两个非空集合，若对formul