Assertion: abelian group's subgroup | /r/CapableOf | form lattice
Facets:
Source sentences:
text: The normal subgroups of G form a lattice under subset inclusion with least element, {e} , and greatest element, G.