偏序模

偏序模(partially ordered module’簡稱po模，具有序結構的模。

設R是有單位元的偏序環，R+是R的序(或正錐),M是一個左R模，PcM，若 P+P}P,R+PcP,P(}(一P)一{0}，則稱P是M的一個序.若M中存在序P，則稱M是一個偏序模.若M的序P是全序的，即M=PU-P，則稱M是全序模.對於右R模也有類似的定義.