设Tn是[n]={1,…,n}上的全变换半群.对任意1≤k≤n,令Tn(k)={α∈Tn|x∈[n],x≤kxα≤k},则Tn(k)是Tn的子半群.刻画了半群GTn(k)的正则元的特征,并描述了该半群上的Green关系.