The concept of lattice implication homomorphism image, which is proved to be a lattice implication algebra, is introduced.
提出了格蕴涵同态像的概念，证明了格蕴涵同态像是格蕴涵代数；
In this paper we have given the concept of double-congruence, by which the concepts of double-homomorphism and double-isomorphism in a unary algebra are linked together.
在一元泛代数上引入了双同余关系，从而使双同态映射与双同构映射得到了沟通。
In this paper we have given the concept of double-congruence, by which the concepts of double-homomorphism and double-isomorphism in a unary algebra are linked together.
在一元泛代数上引入了双同余关系，从而使双同态映射与双同构映射得到了沟通。
应用推荐