Assertion: abelian group's element | /r/HasProperty | coset
Facets:
value: for some $a\in g$.
type: LOCATION
Source sentences:
text: Each element of $G/N$ is a coset $aN$ for some $a\in G$.