A special nonsingular Map from one Manifold to another such that at every point in the domain of the map, the Derivative is an injective linear map. This is equivalent to saying that every point in the Domain has a Neighborhood such that, up to Diffeomorphisms of the Tangent Space, the map looks like the inclusion map from a lower-dimensional Euclidean Space to a higher-dimensional Euclidean Space.

**References**

Boy, W. ``Über die Curvatura integra und die Topologie geschlossener Flächen.'' *Math. Ann* **57**,
151-184, 1903.

Pinkall, U. ``Models of the Real Projective Plane.'' Ch. 6 in
*Mathematical Models from the Collections of Universities and Museums* (Ed. G. Fischer).
Braunschweig, Germany: Vieweg, pp. 63-67, 1986.

© 1996-9

1999-05-26