Let and be manifolds and a smooth map. Then is an embedding if
The above characterization can be equivalently stated: is an embedding if
Remark. A celebrated theorem of Whitney states that every dimensional manifold admits an embedding into .