Category:Subgroups

Let $\struct {G, \circ}$ be an algebraic structure.
$\struct {H, \circ}$ is a subgroup of $\struct {G, \circ}$ if and only if:
$(1): \quad \struct {H, \circ}$ is a group
$(2): \quad H$ is a subset of $G$.