设Tn是[n]上的全变换半群.对任意的k∈[n].令TOn(k)={α∈Tn:(?x,y∈[n])x≤y≤k?xα≤yα≤k},则TOn(k)是Tn的子半群,进一步获得了半群TOn(k)的格林关系及正则元.