n (mathematics) a smooth map whose differential is everywhere injective, related to the mathematical concept of an embedding