En matemática, y más concretamente en topología, diremos que dos embebimientos o encajes
A la deformación citada se le denomina isotopía del ambiente o simplemente, isotopía de M. Más concretamente, una isotopía del ambiente consistirá en una familia uniparamétrica continua de homeomorfismos
del espacio ambiente M, de modo que
De acuerdo con E. C. Zeeman, el problema del anudamiento, es decir, el responder a la pregunta "¿cuándo dos embebimientos son isotópicos?"
Por ejemplo, dos nudos K1 y K2 del espacio tridimensional se consideran equivalentes si podemos deformar uno en otro atravesando un camino de homeomorfismos que se corresponde con la definición de isotopía: empezando por el homeomorfismo identidad del espacio tridimensional y terminando en un homeomorfismo H1 que lleva K1 en K2.