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