The arity of a function or predicate symbol is the number of parameters it takes.
If we write [ilmath]f(x,y)[/ilmath] then [ilmath]f[/ilmath] is a 2-ary function.
This page requires references, it is on a to-do list
for being expanded with them.
Please note that this does not mean the content is unreliable, it just means that the author of the page doesn't have a book to hand, or remember the book to find it, which would have been a suitable reference.
The message provided is:
Not important Alec
) 15:10, 15 December 2017 (UTC)