Plongement Topologique

Une application continue injective f : X → Y entre espaces topologiques telle que f soit un homéomorphisme sur son image f(X) munie de la topologie de sous-espace héritée de Y ; autrement dit X est identifié topologiquement au sous-espace f(X) de Y.