バラエティ (普遍代数学)
環のなすクラスもまた代数のバラエティを形成し、シグネチャは(2,2,0,0,1)である(2つの二項演算、2つの定数と1つの単項演算)。
いま、ある環 R {\displaystyle R} を特定するとその左R加群を考えることができる。 R {\displaystyle R} の要素のスカラ倍を表現するなら R {\displaystyle R} の各要素の対する単項演算のみが必要となる。環が無限ならば無限に多くの演算が必要となるが普遍代数における代数的構造の定義はこれも許している。したがって左R加群もまた代数のバラエティを構成する。
体は代数のバラエティを構成しない。全ての非ゼロの要素が可逆であることは全称量化された等式の形で表現できないからである。
簡約半群もまた可逆律が等式ではなく、どの等式の集合とも同値ではないため、代数のバラエティを構成しない。しかし、含意を用いると可逆律を定義することができるから準バラエティではある。