A subgroup \(H \le G\) satisfies: closure, identity, inverses.
\(H \le G \iff \forall a,b \in H, ab^{-1} \in H\).