relatively compact subset