- 389

- 0

Here's the actual definitions used:

Immersion: a function f from one manifold M to another N is an immersion if it's differential df_p, mapping from a tangent space T_pM to T_f(p)N is injective.

Embedding: An immersion is an embedding if it is 1-1 and it's inverse is continuous.