A es relativamente compacto si y solo si su adherencia es un compacto.