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