Assertion: ordered set | /r/HasProperty | compact
Facets:
Source sentences:
text: A totally ordered set (with its order topology) which is a complete lattice is compact.