Англо-русский морской словарь
compactify
Компактифицировать
Англо-русский словарь морских терминов
compactification
compaction