Conclusion Some known results about bi-semilattice becoming distributive lattice are expanded.

结论推成为分配一些结果。

In this paper, we proved that the definition of a semilattice as a universal algebra and the definition of a semilattice as a partial ordered set are equivalent.

文中，我们证明作为泛代数定义与作为偏序集定义是等价。