讨论了Ehresmann半群上包含于广义格林关系U中的最大同余μ.证明了关于任意Ehresmann半群（S,U）,商半群（（S,U）/μ,U/μ）仍为Ehresmann半群......