En matemáticas , la corona o conjunto corona de un espacio topológico X es el complemento βX \ X del espacio en su compactación de Stone- Čech βX .
Se dice que un espacio topológico es σ-compacto si es la unión de muchos subespacios compactos numerables , y localmente compacto si cada punto tiene una vecindad con cierre compacto . La corona de un espacio de Hausdorff σ-compacto y localmente compacto es un espacio sub-Stoneano , es decir, dos subconjuntos disjuntos abiertos σ-compactos cualesquiera tienen cierres compactos disjuntos.