设Pn和POn分别是有限链[n]上的部分变换半群和保序部分变换半群.对任意1≤k≤n,令POn(k)={α∈POn(k):?x∈dom(α),x≤k?xα≤k},则POn(k)是Pn的子半群.通过分析半群POn(k)中的元素,获得了半群POn(k)的格林关系和格林星关系.进一步讨论了:当1≤k≤n-1时,半群POn(k)是非正则富足半群.