Assertion: group's subgroup | /r/HasProperty | group
Facets:
value: informally
type: MANNER
Source sentences:
text: Informally, a subgroup is a group H contained within a bigger one, G. Concretely, the identity element of G is contained in H, and whenever h 1 and h 2 are in H, then so are h 1 ⋅ h 2
text: A nontrivial group is called simple if its only normal subgroups are the trivial group and the group itself.[s]