W matematyce , arity z funkcji lub pracy , to liczba argumentów lub operandów to wymaga.
Funkcję lub operator można zatem opisać jako jednoargumentową, binarną, trójargumentową itp. Używane są również terminy takie jak 7-arny lub n-arny . Na przykład dodanie dwóch liczb jest funkcją binarną lub operacją binarną . Funkcja odwrotna , która łączy element z jego odwrotnością, jest funkcją jednoargumentową.
W rachunku zdań , możemy również rozważyć arity z łącznikami , które są funkcjami wartości logiczne w Boolean.
Czasami wygodnie jest myśleć o stałych jako o operatorach null, czyli funkcjach o arności 0.
Mówimy też o aryczności predykatu lub relacji : zatem równość [=] jest relacją binarną, podobnie jak ścisła nierówność [<] i przynależność [∈].
Operacja, ogólniej nazywana funkcją , może być również uważana za relację; w ten sposób dodawanie można uznać za relację trójskładnikową między dwoma terminami i ich sumą. Uogólnia to: każda funkcja n-argumentowa jest jednocześnie relacją funkcjonalną (n + 1) -ar . Musisz tylko zdefiniować:
R (x1, x2, ..., xn, y) wtedy i tylko wtedy, gdy f (x1, x2, ..., xn) = y.