右完全半群相关论文