Inmersión Topológica

Una aplicación continua inyectiva f : X → Y entre espacios topológicos tal que f es un homeomorfismo sobre su imagen f(X) dotada de la topología de subespacio inducida por Y; equivalente a identificar topológicamente X con el subespacio f(X) de Y.