半群S上的同余ρ称为可消同余,如果商半群S/ρ是可消的.半群S称为E-富足半群,如果它满足同余条件,且S的每一个(?)-类和每一个(?)-......

设TX是非空集合X上全变换半群,E是X上非平凡的等价关系,R是X/E的横断面,则TE（X,R）={f∈TX：x,y∈X,（x,y）∈E（f（x）,f（y））∈E且f（R）R}是TX的子半群.......

设TX是非空集合X上全变换半群，E是X上非平凡的等价关系，则TE（x）是TX的子半群．在赋予半群TE（X）自然偏序关系的条件下，本文刻画了它的相容元．......