Cuando se cumplen las condiciones anteriores decimos que existe una isotopía del ambiente que lleva f en f'.