Compact space

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.