Suma en los Definición. (Suma ) operación binaria tal que Teorema. (Propiedades de ) Para cualesquiera se cumple: