Relatively compact subset (source code)

= Relatively compact subset

= Relative compactness
{synonym}

= Relatively compact
{synonym}

= Compact closure
{synonym}

A subset of a topological space is relatively compact when its closure is compact.