(i) | ${\leq}$ is a D2192: Subgroup relation on $G$ |
(ii) | $E \subseteq G$ is a D78: Subset of $G$ |
(i) | ${\leq}$ is a D2192: Subgroup relation on $G$ |
(ii) | $E \subseteq G$ is a D78: Subset of $G$ |
▶ | Explicit algebraic expression for elements of generated subgroup with singleton generator set |