Page "Predicate logic" Paragraph 6

# Functions denote a mapping of one or more elements in a set ( the domain of the function ) into a unique element of another set ( the range of the function ).

Elements of the domain and range are objects in the world of discourse.

Every function symbol has an associated arity, indicating the number of elements in the domain mapped onto each element of range.