Assertion: group's subgroup | /r/HasProperty | trivial group
Facets:
Source sentences:
text: A nontrivial group is called simple if its only normal subgroups are the trivial group and the group itself.[s]