4.6 幺半群