设< S,* ,°>是代数系统，*和°是二元运算，如果*和°满足交换律，结合律和吸收律，则< S,*,° >构成一个