分配格序半群

分配格序半群(distributive lattice-ordered se-migroup)一類重要的格序半群.設S是格序半群，若作為格，<S，八，V)是分配的，則S稱為分配格半群.