Полный англо-русский словарь
1) вложение 2) вмещение 3) вставка 4) погружение ∙ — global imbedding — strict imbedding — tame imbedding