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.