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.