Cuando formula_33 es una subestructura de formula_3, la función definida por la inclusión es un morfismo de las estructuras.