text: Это свойство можно переформулировать следующим образом: пространство X {\displaystyle X} является конечномерным тогда и только тогда, когда любое ограниченное в X {\displaystyle X} множество предкомпактно.