论文部分内容阅读
设L是非空集合,∧和*是两个二元运算,1是L中的常元。给出了蕴涵半格(L;∧,*,1)的一个极小方程基(1)(y*2)*((z*z)*(y*z))=1,(2)(z*y)*((y*z)*z)=(y*z)*((z*y)*y),(3)z*(y*z)=(x∧y)*z,(4)(y*1)*x=x.作为一个推论给出:蕴涵半格构成一个代数簇.