函詞是一種以個體域為定義域和值域的映射。
基本介紹
- 中文名：函詞
- 類型：數學術語
定義
函詞（function）亦稱函式.一種映射.指以個體域為定義域和值域的映射.設F(x)表示“x的父親”,S(x，y)表示“x和y之和”，則F,S都是函詞. 根據函詞中所含變元個數的多少，函詞可分為零元函詞、一元函詞、二元函詞等.通常將個體看做是零元函詞.上面所說的函詞F是一元函詞，S是二元函詞.以函式為變域的變元，稱為函詞變元，即函式字母，通常用字母來表示.函詞變元通常被指明是幾元函詞變元，即指明它具有幾個空位.形如
的個體函詞
稱為投影函詞，又稱廣義么函詞.在函詞後面的空位中填以項所得的式子為函詞填式.在函詞後面的空位中填以不同變元所得的式子稱為函詞命名式.
