مجموعۀ فشرده

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