Assertion: graph's set | /r/HasProperty | k-analytic
Facets:
Source sentences:
text: Every compact set is K-analytic so that there are non-separable K-analytic spaces.