\begin{definition}[Definition:Compact Space/Euclidean Space]
Let $\R^n$ denote Euclidean $n$-space.
Let $H \subseteq \R^n$.
Then $H$ is '''compact in $\R^n$''' {{iff}} $H$ is closed and bounded.
\end{definition}