Assertion: cyclic group | /r/HasProperty | countable
Facets:
Source sentences:
text: In fact, the infinite cyclic group C ∞ is countable, while S1 is not.