- Arité
-
En mathématiques, l'arité d'une fonction, ou opération, est le nombre d'arguments ou d'opérandes qu'elle requiert.
Une fonction ou un opérateur peuvent donc être décrits comme unaires, binaires, ternaires, etc. Des termes comme 7-aire ou n-aire sont aussi utilisés. L'addition de deux nombres, par exemple, est une fonction, ou opération, binaire. La fonction inverse, qui associe à un élément son inverse, est une fonction unaire.
En calcul propositionnel on considère aussi l'arité des connecteurs qui sont des fonctions des booléens dans un booléen.
Quelquefois il est commode de considérer une constante comme un opérateur ou une fonction d'arité 0.
On parle aussi de l'arité d'un prédicat ou d'une relation : ainsi l'égalité [=] est une relation binaire, de même l'inégalité stricte [<] et l'appartenance [∈].
Une opération peut aussi être considérée comme une relation ; ainsi l'addition peut être considérée comme une relation ternaire entre les deux termes et leur somme ; ceci se généralise facilement : toute opération n-aire est en même temps une relation (n+1)-aire.
Une fonction d'arité n peut aussi être considérée comme une relation d'arité n+1 fonctionnelle.
Articles connexes
Wikimedia Foundation. 2010.
