Arité
Un article de Wikipédia, l'encyclopédie libre.
En mathématiques, l'arité d'une fonction ou d'un opérateur 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 binaire. La fonction inverse, qui associe à un élément son inverse, est une fonction unaire.
Quelquefois il est utile de considérer une constante comme un opérateur ou une fonction d'arité 0 appelés nulaire (ou encore anaire). Par exemple une formulation de l'axiome du choix prétend que pour chaque ensemble non vide, il existe une fonction nulaire qui peut être utilisée pour prendre une valeur dans l'ensemble.
