设T_X是非空集合X上全变换半群,E是X上等价关系,则T_?(X)={f∈T_X:?_x,y∈X,(f(x),f(y))∈E?(x,y)∈E}是T_X的反射等价关系的子半......

设S是一个半群,δ是S到S的一个映射,如果δ满足对于任意的x,y∈S,有δ（xyx）=xδ（y）x.则称δ为S的一个夹心变换.S的所有夹心变换的集合......