可換群→群→monoid→半群→magma