模板: 半群论