Definition:Multigrade Operator

From ProofWiki
Jump to: navigation, search

Definition

A multigrade operator (or multiary operator) is an operator with a variable arity.

That is, it is an operator with a variable number of operands.

Personal tools
Namespaces
Variants
Actions
Navigation
ProofWiki.org
ToDo
Toolbox
Google AdSense