在述词演算中用小写拉丁字母及其后n个空位来表示n位函数。如f（d1, d2,.....），其中n有空位。零位函数称为常量。
n位函数中的n个空位可用常量或变数填入。因而n位函数是一个定义域D的n次底卡尔集合到值域A（A包含于D）的映照。简记为f：D的N次方－＞A。
n位函数的空位由变数或常量填入之后就称为项，而其空位用项填入之后也还称为项。
词语
词语
