Assertion: algebra's set | /r/HasProperty | t x
Facets:
Source sentences:
text: compact space with compact open sets T ( X ) {