{hemicompact space} [ریاضی] فضای توپولوژیکی x با این ویژگی که دنباله ای صعودی از زیرمجموعه های فشرده در x وجود دارد که اجتماع جمله های این دنباله برابر x است و هر زیرمجموعۀ فشرده از x جزء یکی از جمله های این دنباله است