# Category:Hereditarily Compact Spaces

$T$ is hereditarily compact if and only if every subspace of $T$ is compact.