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.

本文中，我们证为泛代半格与为偏序集半格是等价。