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