Assertion: abelian group's image | /r/HasProperty | a subset of n
Facets:
Source sentences:
text: The image of conjugation of N by any element of G is a subset of N : ∀ g ∈ G , gNg −1 ⊆ N . '