设X是一个非空集合，E是X上的等价关系，TE(X)={f∈JX2↓A(a，b)∈E，(f(a)，f(b))∈E)．对于半群S中的一个取定元素θ∈S，重新定义S上的运算。......