conditionally compact set