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