(no requerimos que el homomorfismo de elevación "h" sea único; esta no es una propiedad universal.)