Category:Relatively Compact Subspaces

This category contains results about Relatively Compact Subspaces.

Let $T = \struct {S, \tau}$ be a topological space.

Let $T_H = \struct {H, \tau_H}$ be a subspace of $T$.

Let $\map \cl H$ be the closure of $H$ in $T$.

Then $T_H$ is relatively compact in $T$ if and only if $\map \cl H$ is compact.