设（X，≤）是全序集，T（X）是X上的全变换半群，E为x上的任意的非平凡等价关系，设E^＊O（X）={a∈r（x）：x，y∈X，（x，y）∈E，x≤y （xd，yα）∈E，xα≤yα｜则E^＊O（X）是T（x）的子半......