Компактное пространство - что это такое

Компактное пространство — топологическое пространство, в любом покрытии которого открытыми множествами найдётся конечное подпокрытие