En la topología, una rama de las matemáticas, un &sigma del ; - el espacio compacto es un espacio topológico que es la unión contable muchos subconjuntos del acuerdo . Obviamente, cada espacio compacto es σ - acuerdo. Por otra parte, cada σ - el espacio compacto es Lindelöf (es decir cada cubierta abierta tiene un subcover contable). Las implicaciones reversas no celebran. Por ejemplo, el espacio euclidiano ( n estándar del ^{del R ) es σ - condensar pero no condensar, y la topología de un límite más bajo en la línea verdadera es Lindelöf pero no σ - acuerdo o acuerdo.}

Un espacio reputa &sigma del ; - localmente compacto si es ambo σ - acuerdo y localmente compacto.