Xn是包含n个元素的全序集,SPn-是Xn上的降序严格部分变换半群,对4 n和2≤r≤n-2,证明了半群SK-（n,r）={α∈SPn-∶｜Imα｜≤r}是幂等元生......