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.

本文中，明了泛代的半格的定义偏序集的半格的定义是等价的。