Es decir que la suma de la clase de "x" con la clase de "y" sea la clase de "x+y" y análogamente para la multiplicación.