正锥是偏序群的正元素集,若G是偏序群,则G的正元素集G+={g∈G|g>0}及G的负元素集G-={g∈G|g<0}分别称为G的正锥及负锥。G+满足三个条件: 1.G++G+⊆G+;2.G+∩-G+=G+∩G-={0};3.对任意a∈G有a+G+-a⊆G+。反之,若P是群G的子集,G的运算记为+,且P满足条件1、2、3,对任意x,y∈G,定义x>y当且仅当x-y∈P,则由P可诱导出G的一个序,使G成为偏序群,且P=G+,于是,一个偏序群的序完全由满足上述条件的子集P所确定,因此,亦称P是G的一个序。