As a consequence of the above result, we have that implicative semilattices form an algebraic variety.

作为一个推论给出：蕴涵半格构成一个代[代数]簇。

youdao

As a consequence of the above result, we have that implicative semilattices form an algebraic variety.

作为一个推论给出：蕴涵半格构成一个代[代数]簇。

youdao