relatively compact set