アリティ
単位元は形式上 0 項の演算 e : 1 → S (ただし、1 = {*} は 1 点集合) と同一視できるので、群とは、集合 S に異なるアリティをもつ演算の集合 Ω = {e, (-), ・} および演算が満たすべき等式の集合 E = {e・x = x, x・e = x, x・x = e, x・x = e, (x・y)・z = x・(y・z)} が与えられたものだとみることができる。 同様に環とは、非空の集合 S と、(特定の性質 E を備えた) 4 つの演算 Ω = {0, −, +, ・} の対だとみなすことができる。 これら 4 つの演算はすべて値域を S とするが、定義域のアリティは様々である。 演算からアリティを与える関数 ar: Ω → N を考えるなら、環の場合 ar(0) = 0, ar(-) = 1, ar(+) = ar(・) = 2 のようになる。 このようにしてアリティの異なる演算の集合を通じて様々な代数構造を統一的に扱う道が開ける。