I differentiel geometri er en nedsænkning en differentierbar anvendelse af en differentieringsmanifold i en anden, hvoraf differentieringen på hvert punkt er injektionsdygtig .
Lad V og W begge sorter og f en differentiabel kortlægning af V i W .
Det siges, at f er en nedsænkning hvis for alle x tilhører V , den rang af den lineære tangent Tf ( x ) er lig med dimensionen af V .
Vi differentierer det:
Immersion teorem Whitney (en)