Assertion: abelian group's subgroup | /r/CapableOf | start with normal subgroups
Facets:
Source sentences:
text: If the given subgroup can be described using joins and intersections ,starting with normal subgroups, then it is normal.