فضای شبه‌فشرده

فضایی توپولوژیکی که هر تابع حقیقی‌مقدار پیوسته بر آن کراندار باشد