realcompact structure

Мат. вещественная компактная структура