Англо-русский морской словарь
compactification
1
компактификация
2
компактное пополнение
Англо-русский словарь морских терминов
compact-open topology
compactify