Definition:Relatively Compact

Definition

Let $T$ be a topological space.

Let $S$ be a subspace of $T$.

Then if $\operatorname{cl} \left({S}\right)$, the closure of $S$ in $T$, is compact, then $S$ is relatively compact.