1.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.

1.本文，证明了泛代的半格的定义与序集的半格的定义是等价的。