子群

子群 \(H \le G\) 满足：封闭性、单位元、逆元。

检验

\(H \le G \iff \forall a,b \in H, ab^{-1} \in H\)。