¿Existe alguna clase de equivalencia ordenada que se pueda utilizar para distinguir 1+1 y 2 , En un lado hay una operación y en el otro sólo un número.
Esto se hace más evidente cuando se trata de la factorización y la multiplicación , por ejemplo 17,19 = 323 , el LHS contiene más información que el RHS, pero ¿cómo ponerles un orden?