Assertion: set's subset | /r/HasProperty | compact
Facets:
Source sentences:
text: A subset of Euclidean space Rn is compact if and only if it is closed and bounded.