Математическая энциклопедия
- наибольшее бикомпактное расширение 
вполне регулярного топологич. пространства X. Построено Э. Чехом [1] и М. Стоуном [2].
Пусть 
- множество всех непрерывных функций 
Отображение 
где 
является гомеоморфизмом на свой образ. Тогда, но определению, 
(где 
- операция замыкания). Для любого бикомпактного расширения bХ существует непрерывное отображение 
тождественное на X, что и выражается эпитетом лнаибольшее