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.

本文中，我们证明了代定义与偏序集定义是等价。