In other words, an embedding is diffeomorphic to its image, and in particular the image of an embedding must be a submanifold.
Другими словами, прообраз вложения диффеоморфен своему образу, и, в частности, образ вложения должен быть подмногообразием.