Inmersión

Una aplicación suave f : M -> N entre variedades diferenciables cuya diferencial df_p es inyectiva en cada punto p de M; localmente la aplicación incrusta los espacios tangentes y sitúa M en N sin pliegues infinitesimales, aunque puedan ocurrir autointersecciones globales.