Definition:Compact Space/Topology/Subspace

Definition
Let $T = \left({S, \tau}\right)$ be a topological space.

Let $H \subseteq S$ be a subset of $T$.

Equivalence of Definitions
The proof that these definitions are equivalent is given in Equivalent Definitions of Compact Topological Subspace.