11.3 半群