tenemos que f es un homomorfismo suprayectivo (de anillos), llamado "supramorfismo canónico".