فشرده‌ساخت

برای یک فضای توپولوژیک، فضای توپولوژیک فشرده‌ای که شامل آن فضا باشد