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