En un espacio Hausdorff, abiertos separan a conjuntos compactos.