子群

子群是一个数学群的子集，它本身也是一个群。

子群是一个大学级别的概念，首次会在涵盖群论的抽象代数课程中遇到。

群:	数学群是一个元素的集合和一个二元运算，它们共同满足封闭性、结合律、单位元性质和逆元性质这四个基本性质。
子集:	子集是一个集合的一部分。子集也可以包含整个集合或为空集。