「普遍代数学」の版間の差分

 

== 幾つかの基本定理 ==

* {{仮リンク|バーコフのHSP定理|en|Variety (universal algebra)#Birkhoff's theorem}}は代数のクラスが{{仮リンク|バラエティ (普遍代数学)|label=代数多様性|en|variety (universal algebra)}}であるための必要十分条件が、それが準同型像、部分代数、任意直積に関して閉じていることであることを述べる。