Assertion: commutator | /r/AtLocation | their intersection
Facets:
Source sentences:
text: In particular, if both subgroups are normal, their commutator is contained in their intersection.