Assertion: abelian group's subgroup | /r/HasProperty | denoted n ◁ g.
Facets:
Source sentences:
text: G. A normal subgroup of G is denoted N ◁ G.