幺半群 `S` 的全体可逆元关于 `S` 的乘法成一群.