Considere los conjuntos de , y luego considerar dos funciones define como . Sin duda, estas funciones tienen la misma "estructura", pero ¿qué es? Lo que hace esto funciona más o menos igual?
Lo que he notado es que existe una función de tal que . Debe esta para cualquiera de las dos funciones tienen la misma "estructura"? Lo de la propiedad hace que esto sea ?