函项：Function

在普通语言中，该词大略是指目的或作用。在逻辑和数学中[该词译为函项]，它是一种特殊的关系，在此关系中，给予的任何对象或诸对象（也称为函项的主目），另一对象（称为对于那个主目的函项值）将会产生。一个函项有一个或多个能容纳不同主目的变项。对某一函项的变项给予确定值就会产生对整个函项的确定值。前置逻辑（也称为函项演算）中的真值函项是特定的函项，其中，复合命题的真值是由它的命题的组成部分的真值和与它相关的逻辑项所决定的。一个函项是可应用于某类对象的，函项所应用的类被称为函项的前域。值的类被称为函项的变程。弗雷格认为，概念是表示对象真值的函项。