根据WBRo-代数的无序特征,通过将WBRo-代数的正则性弱化,建立了SWBRo-代数,提出了SWBRo-代数蕴涵理想的概念,讨论了蕴涵理想与同余关系之间的联系,并通过蕴涵理想定义了SWBRo-代数上的商代数,得到了SWBRo-代数的同态基本定理.
reduction proposed, discussed. ideal, and By means of the non-or of regularness of WBR0 and the relationship Moreover, a quotient der characteristic of WBR0-algebra, SWBR0- -algebra. The concept of the implication ideal between the implication ideal and the co algebra of SWBR0-algebra the fundamental theorems of homomorphisms of algebras was set up by of SWBR0-algebra was ngruence relation was was defined with the help of implication SWBR0-algebra were obtained.