格序群胚(lattice-ordered groupoid)亦稱l廣群或m格，具有格序結構的群胚。 若M是一個具有乘法運算的並半格，且乘法對並是相容的，即對任意a,b,cEM，有則稱M為乘法半格，亦稱m半格.若(M,·)是一個格，且乘法對並是相容的，則稱M為格序群胚.
