A semilattice can be defined as a universal algebra, and it can also be defined as a partial ordered set.

• 摘要一个半格可以定义为一个泛代数，也可以定义为一个偏序集。