设X是一个全序集，E是X上的一个凸等价关系．令OE（X）={f∈TE（X）：Ax，y∈X，x≤y→f（x）≤f（y）），其中TE（X）是E-保持变换半群．对于取定的θ∈OE（X），在OE（X）上定义......