Relatively compact subset (source code)

= Relatively compact subset

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

= Compact closure
{synonym}