设TX是非空集合X上全变换半群,E是X上非平凡的等价关系,R是X/E的横断面,则TE（X,R）={f∈TX：x,y∈X,（x,y）∈E（f（x）,f（y））∈E且f（R）R}是TX的子半群.......