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.
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.