Inserción

Una aplicación inyectiva que preserva la estructura desde un objeto hacia otro y que identifica la fuente como un subobjeto del destino, preservando la estructura relevante (a menudo realizada como un morfismo inyectivo con propiedades reflexivas adicionales).