Пусть (X, m, H) — наследственное m-пространство. Подмножество A из X называется H-компактным относительно X, если для любого покрытия U из A m-открытыми множествами из X существует конечное подмножество U0 из U такое, что A \ ∪ U0 ∈ H. Мы получаем
несколько свойств этих множеств. А также мы определяем и исследуем два вида сильных форм
H-компактности относительно X