Sean X un espacio Hausdorff, C un subconjunto compacto de X, y p un punto que no está en C.