In order to describe the relationship between two kinds of definitions for a semilattice, we established two formulas.

• 为了刻划半格的两种不同定义间的关系，我们建立了两个等式。