分类: 半群论