Esto, como cualquier homomorfismo de objetos matemáticos, es precisamente una función que preserva la estructura de los objetos.