Assertion: bounded set | /r/HasProperty | compact
Facets:
Source sentences:
text: X is complete if and only if every bounded set that is closed in the order topology is compact.