Es un homomorfismo en vez de un [[isomorfismo]] porque está [[Función sobreyectiva|sobre]] pero [[Función inyectiva|uno a uno]], es decir, algunas secuencias de símbolos tienen el mismo significado (ej.