Relatively compact subset