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.

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