Lukas' Notes

Definition

Arity

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

Example: means that takes in two arguments.