Ett topologiskt rum är uppräkneligt kompakt om varje framställning av mängden som en uppräknelig union av öppna mängder kan skrivas som en union av ett ändligt antal öppna mängder:
Denna definition är ekvivalent med följande egenskaper: Varje oändlig delmängd av har en omega-ackumuleringspunkt som är ett element i mängden . Varje följd av element i mängden har en ackumuleringspunkt som är ett element i . Varje familj bestående av uppräkneligt många slutna delmängder vars snitt är icke-tomt, har en ändlig delfamilj av slutna mängder vars snitt också är icke-tomt.
Se även kompakt Sigma-kompakt Lindelöfrum Svagt uppräkneligt kompakt Pseudokompakt Följdkompakt Metakompakt Uppräkneligt metakompakt Parakompakt Uppräkneligt parakompakt Separabelt rum Uppräknelig av första ordningen Uppräknelig av andra ordningen
Kategori:Egenskaper hos topologiska rum