代数的構造
代数系 (A, R) と (B, S) とは、それぞれの代数構造(算法族) R と S とが項数を込めて等しいか同一視できるとき、同類であるという(項数については算法の項参照)。 例えば群は、積だけを算法とする代数系とみなせば半群と同類であるが、各元にその逆元を対応させる写像も群の(単項の)算法に含めて考えると、半群とは同類ではない。 そして群をそのように半群と同類でない代数系として定義する方が、代数系の論としては正当で、理論上も便利なことがある(群論参照)。
また、環を加法と乗法を算法とする代数系とみなし、束を結びと交わりを算法とする代数系とみなせば、加法 x + y と結び x ∨ y 、乗法 x × y と交わり x ∧ y とを同一視することによって、この両者は同類の代数系となる。
しかし、環における加法・乗法と束における結び・交わりとは、異なる法則に従う。 例えば、環での加法・乗法は分配律 x × (y + z) = (x × y) + (x × z) に従うが、束での結び・交わりは必ずしも分配律 x ∧ (y ∨ z) = (x ∧ y) ∨ (x ∧ z) には従わない。 また、束での交わり・結びは冪等律 x ∧ x = x, x ∨ x = x に従うが、環での加法・乗法は冪等律 x × x = x, x + x = x に必ずしも従わない。
そこで、同類の代数系をさらに「それらの算法がどういう法則に従うか」によって分類して種に分けて、それぞれの種に属す代数系をまとめて抽象化して論ずるのが普通である。 歴史的には、半群・群・環・多元環・体・束などはそうやって出来た抽象概念である。