Definition:Operation/Arity/Ternary

From ProofWiki
Jump to navigation Jump to search

Definition

A ternary operator (or three-place operator) is an operator which takes three operands.

That is, its arity is $3$.