设ＦＸ表示集合上的全变换半群，Ｃｏｎ（Ｓ）表示半群Ｓ上的同余格，对Ｘ上任一非平凡等价关系Ｅ，令ＴＥ（Ｘ）＝（ｆ∈ＦＸ：Ａ↓（ａ，ｂ）∈Ｅ，（ｆ（ａ），ｆ（ｂ））∈Ｅ），据「４」，ＴＥ（Ｘ）构成一个α半群，且Ｃｏｎ（ＴＥ（Ｘ））可以 三个互不相交的完全......