Assertion: group's subgroup | /r/HasProperty | the number of cosets
Facets:
Source sentences:
text: A group is called virtually cyclic if it contains a cyclic subgroup of finite index (the number of cosets that the subgroup has).