者对于任意的formula_2，formula_3都有最大下界（交），则称formula_1构成一个半格。也可以将半格定义为一个代数结构。一个半格是一个代数结构formula_7或formula_8，其中formula_9和formula_10如同在格的定义中所述。