# Definition talk:Subgroup

"It is usual that $\left({G, \circ}\right)$ is itself a group, but that is not necessary for the definition." So typically yes, but you could have a subgroup of, say, a monoid that wasn't itself a group. --Alec (talk) 05:16, 2 January 2013 (UTC)