Англо-русский морской словарь
compact-open
Компактно-открытый
Англо-русский словарь морских терминов
compact set
compact-open topology