Immersion

Let and be smooth manifolds with dimensions and respectively, and a smooth map. is called an immersion at a point if the differential at is injective. Equivalently, if .