函項

在普通語言中，該詞大略是指目的或作用。在邏輯和數學中[該詞譯為函項]，它是一種特殊的關係，在此關係中，給予的任何對象或諸對象（也稱為函項的主目），另一對象（稱為對於那個主目的函項值）將會產生。

函項：Function

一個函項有一個或多個能容納不同主目的變項。對某一函項的變項給予確定值就會產生對整個函項的確定值。前置邏輯（也稱為函項演算）中的真值函項是特定的函項，其中，複合命題的真值是由它的命題的組成部分的真值和與它相關的邏輯項所決定的。一個函項是可套用於某類對象的，函項所套用的類被稱為函項的前域。值的類被稱為函項的變程。弗雷格認為，概念是表示對象真值的函項。