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

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