§20.2 子群（subgroup）