Assertion: compact metric space | /r/HasProperty | countable
Facets:
Source sentences:
text: Every compact metric space is second countable, and is a continuous image of the Cantor set.