مجموعۀ نسبی‌فشرده

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