嚴格正格序半群(strictly positive lattice-or-dered semigroup)一類特殊的格序半群.設S是格序半群，a任S.若對任意b任S，有ab八ba,h，則稱a為S的嚴格正元.若格序半群S中的每個元素均是嚴格正元，則S稱為嚴格正格序半群.
