Are there any ordered equivalence classes that can be used to distinguish 1+1 and 2 , On one side there is an operation and on the other side just a single number.
This becomes more obvious when dealing with factoring and multiplication , e.g. 17.19 = 323 , LHS contains more information than RHS but how to put an order on them?