论文部分内容阅读
设X为一非空集合,T（X）为X上的变换半群,E为X上的一个等价关系,给出如下两个集合：T^x0（X）={α∈T（X）∶x0α=X0},TSE^x0（X）={α∈T^X0（X）∶任意x∈X,（x,xα）∈E}.证明了TSE^x0（X）为一正则半群,同时还讨论了TSE^x0（X）上的自然偏序结构及其左右相容性.