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