\begin{definition}[Definition:Hereditarily Compact Space/Definition 1]
Let $T = \left({S, \tau}\right)$ be a topological space.
$T$ is ''' hereditarily compact''' {{iff}} every subspace of $T$ is compact.
\end{definition}