半模偏序集(semimodular poset)一類特殊的偏序集.設屍是一個含最小元。的有限長偏序集，對於任意a,bEP,a}b時滿足條件:(a)若存在。EP使得a和b都覆蓋。，則存在dEP使之覆蓋a和b，則稱P為(上)半模偏序集.對偶地可以定義下半模偏序集.若屍既是上半模的，又是下半模的，則稱屍是模偏序集.
