備格序么半群(complete lattice-ordered mon-oid)亦稱c1么半群,一類重要的格序么半群。 設M是具有二元乘法運算的備格,若乘法對並滿足無限分配律:公式則稱M為備格序群胚.設M是一個備格序群胚,若M的乘法滿足結合律,則稱M為備格序半群.具有單位元的備格序半群稱為備格序么半群.有零的備格序群胚是剩餘格.