En espacios métricos podemos definir un conjunto relativamente compacto: