设TX是全序集X={1 <2 <···<n}上的全变换半群,则Sn-={f∈TX:?x∈X, f (x)≤x}是TX的降序变换子半群.赋予降序变换半群Sn-自然偏序关系,给出了Sn-的特征,刻画了Sn-的相容元,描述了Sn-的极小元和极大元.