\begin{definition}[Definition:Compact Space/Real Analysis/Definition 1]
Let $\R$ be the real number line considered as a topological space under the Euclidean topology.
Let $H \subseteq \R$.
$H$ is '''compact in $\R$''' {{iff}} $H$ is closed and bounded.
\end{definition}