In mathematics, a relatively compact subspace Y of a topological space X is a subset whose closure is compact. Wikipedia