Each function is taken to have a fixed arity. This can lead to a little artificiality, as for instance 'the sum of' applied to three numbers has to be a different function from 'the sum of' applied to four numbers, or else it has to be construed as a function of the set of numbers.
It doers not matter whether we refer to symbols (or the functions they denote) as unary, binary, ternary, etc. or as monadic, dyadic, triadic, etc. The choice between those two vocabularies is a matter of taste.
- 1-ary functions: 'the father of' in the domain of people; 'the successor of' in the domain of integers.
- 2-ary functions: 'plus', 'minus', 'times' in the domain of numbers.
- 3-ary predicate: 'is between' in the domain of places.
- Sentence containing a 5-ary predicate: 'X is the intersection of lines AB and CD' in plane geometry.