فضای نیم‌فشرده

فضای توپولوژیکی x با این ویژگی که دنباله‌ای صعودی از زیرمجموعه‌های فشرده در x وجود دارد که اجتماع جمله‌های این دنباله برابر x است و هر زیرمجموعۀ فشرده از x جزء یکی از جمله‌های این دنباله است