Ehresmann型rpp半群相关论文