自然数n≥5,X_n={1,2,…,n}并赋予自然数的大小顺序,SPO_n=PO_n／O_n是Xn上的严格保序部分变换半群.N（n,r）={α∈SPO_n：｜im（α）≤r}是严格......