Definition:Operation/Arity/Zero

From ProofWiki
Jump to navigation Jump to search

Definition

It is possible to conceive of an operator which takes no operands.

A constant can be considered as an operator which takes no operands.

That is, it has an arity of zero.


There are circumstances in mathematics and logic in which it is advantageous to do so.


Also see