アリティ ("arity") とは、代数学、論理学、計算機科学などにおいて、関数や算法(演算) が取る引数（オペランド）の個数を意味する用語である。 項数のような訳語が当てられる場合もあるが、arityと英単語のまま用いられることも多い。 複合語としてならば、「変数」（例えば二変数函数、多変数函数）や単に「項」（二項演算、多項関係など）あるいはまた（不定元の数という意味で）「(-)元」（例えば二元連立一次方程式）などはアリティに言及する訳語として存外よく用いられるものである。（しかし同じ語でも、例えば数列や多項式などに用いられる「項」や「項数」はアリティではなく "term" に関する言及である。）典型的には、関数"f"の定義域が、ある集合"S"の"n"項の直積である場合、"f"のアリティは"n"である（"n"-変数あるいは "n"-元函数である）と言われる。 また、ある集合"S"上の ("n"-ary relation) は、形式的に集合の"n"項の直積"S"の部分集合、もしくは"S"を定義域とする特性関数として表され、これに対しても"n"をアリティと呼ぶ。この概念は特に代数構造を抽象化して統一的に扱おうとする普遍代数学において有用である。 例えば群は、ある空でない集合"S"上に2項演算 (-)・(-) : "S" × "S" → "S" と、定数である単位元"e" ∈ "S"、および逆元を与える単項演算 (-) : "S" → "S" が与えられたものと見ることができる。 単位元は形式上 0 項の演算 "e" : 1 → "S" (ただし、1 = {*} は 1 点集合) と同一視できるので、群とは、集合"S"に異なるアリティをもつ演算の集合 "Ω" = {"e

出典:wikipedia