3.2.2 幺半群与半群