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