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.

• 本文中，我们证明了作为泛代数的半格的定义与作为偏序集的半格的定义是等价的。