设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......