Compact space
The Bolzano–Weierstrass theorem states that a subset of Euclidean space is compact in this sequential sense if and only if it is closed and bounded.
An ordered space satisfying (any one of) these conditions is called a complete lattice.
A nonempty compact subset of the real numbers has a greatest element and a least element.