Arity

logic

Definition

Arity

Arity refers to the number of arguments a function,
a predicate, or an operator
takes in a formal languages.

Example: $f/2$ means that $f$ takes in two arguments.