Финально компактное пространство, — топологическое пространство Xтакое, что всякое его открытое покрытие содержит счетное подпокрытие. Напр., всякое пространство со счетной базой есть Л. п.; всякое квазикомпактное пространство есть Л. п. Всякое замкнутое подпространство Л. п. есть Л. п. Для каждого непрерывного отображения f Л. п. в топологич. пространство X' подпространство f(X').последнего — Л. п. Всякое отделимое пространство, являющееся объединением счетного семейства (би)компактных множеств, — Л. п. Всякое регулярное Л. п. паракомпактно. Произведение Л. п. и (би)компактного пространства есть Л. П. М. И. Войцеховский.