Function Symbol

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Definition
A nonlogical symbol that denotes an n-ary function on the domain and, when applied to terms, yields a new term.