As a consequence of the above result, we have that implicative semilattices form an algebraic variety.
作为一个推论给出：蕴涵半格构成一个代[代数]簇。
2
The main topic is some applications of refined semilattices of semigroups in the study of properties and structures of semigroups.
本文主要讨论了半群的加细半格在研究半群的性质和结构中的若干应用。
3
In making researches on uniform bands and some uniform properties of corresponding semilattices, we advance a conception of strong orthodox semigroups.