Relatively compact space

Let $(X, \rho)$ - a topological-space.

A subspace $S \subspace X$ is relatively compact if $[S]_{\tau}$ is compact-space.