Бикомпактификация

То же, что и бикомпактное расширение.