设TX是集合X上的全变换半群，E是X上的等价关系，则TE（X）={f∈TX：任意（a，b）∈E，（f（a），f（b））∈E}是α-半群．设X是全序集，OE（X）：{f∈TE（X）：任意x，Y∈X，x≤y→（x）≤f（y......

设X是一个集合,｜X｜〉3,TX为集合X上的全变换半群.设E为X上的一个等价关系,TE（X）={f∈TX：（x,y）∈E（f（x）,f（y））∈E}为由等价关系E决定的TX的一个......