设Ｓ是一个正则＊－半群，Ｃ＊（Ｓ）是Ｓ的最小自共轭全子半群．在Ｓ上定义关系ρ：ａρｂｕ，ｖ∈Ｃ＊（Ｓ）ｓ．ｔ．ｕ＊ｕ＝ａａ＊，ｕｕ＊＝ｂｂ＊，ｖ＊ｖ＝ｂ＊ｂ，ｖｖ＊＝ａ＊ａ，ｂ＝ｕａｖ．用Ｇ表示Ｓ／ρ的置换群，Ｐ（Ｇ）表示Ｇ非空子集的集合．τ是Ｓ到Ｐ（Ｇ）的映射满足条件：（１）ｓ１，ｓ２∈Ｓ，（ｓ１τ......