Ne doit pas être confondu avecArite.
Sur les autres projets Wikimedia :
Enmathématiques, l'arité d'unefonction, ouopération, est le nombre d'arguments ou d'opérandes qu'elle requiert.
Une fonction ou un opérateur peut donc être décrit comme unaire, binaire, ternaire, etc. Des termes comme7-aire oun-aire sont aussi utilisés. L'addition de deux nombres, par exemple, est une fonction binaire, ouopération binaire. Lafonction inverse, qui associe à un élément son inverse, est une fonction unaire.
Encalcul propositionnel, on considère aussi l'arité desconnecteurs qui sont des fonctions desbooléens dans un booléen.
Quelquefois, il est commode de considérer lesconstantes comme des opérateurs nullaires, c'est-à-dire des fonctions d'arité 0.
On parle aussi de l'arité d'unprédicat ou d'unerelation : ainsi l'égalité [=] est une relation binaire, de même que l'inégalité stricte [<] et l'appartenance [∈].
Une opération, plus généralement appeléefonction, 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 : toute fonction n-aire est en même temps une relation (n+1)-airefonctionnelle. Il suffit de définir :
R(x1, x2, ..., xn, y) si et seulement si f(x1, x2, ..., xn) = y.
