设Sn-是全变换半群上的降序子半群.假设其中A（?）Xn{1},那么Sn-（A）是Sn-的子半群.我们在此证明了Sn-（A）是非富足半群,其中A≠（?）和A≠{n}.......