Assertion: group's subgroup | /r/HasProperty | left and right cosets
Facets:
Source sentences:
text: Cosets are used to formalize this insight: a subgroup H defines left and right cosets, which can be thought of as translations of H by arbitrary group elements