maximal cancellation semigroup homomorphism image的意思|示意
美 / /
英 / /
极大消去半群同态象