Conjuntos compactos en espacios métricos y su asociación topológica con los axiomas de separación (como en los conjuntos compactos en espacios métricos)