فضای پیرافشرده

یک فضای توپولوژیکی با این ویژگی که متناظر با هر پوشش باز F یک پوشش باز موضعی‌‌متناهی G وجود داشته باشد، به‌طوری‌که هر عضو G زیرمجموعه‌ای از یک عضو F باشد