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.

本，我们证明了作为泛代的半格的定义与作为的半格的定义是等价的。