定義介紹格半環(lattice Bemiring)在同一承載集上同時定義有格與半環的一種代數結構.設(5,+,·)為半環，若S上有一偏序關係“鎮”使(<S,鎮)做成格，並日滿足條件:則稱S為格半環.格半環對研究半環的序結構和格環結構有重要套用價值.
