Immersion

A smooth map f : M -> N between differentiable manifolds whose differential df_p is injective at every point p in M; locally the map embeds tangent spaces and places M into N without infinitesimal folding, though global self-intersections may occur.