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.

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