Suma (+)
La suma representa la adición y tiene su propio signo (+).
Dependiendo del conjunto al que nos refiramos la suma será definida de un modo u otro pero siempre guarda cierta coherencia con el concepto de adición.
La suma cumple las propiedades conmutativa y asociativa
- ( $\mathbb{N} , + $ ) aplicado a dos naturales n y n' devuelve el sucesor n'esimo de n,
- ( $\mathbb{B}(A) , + $ ) aplicado a dos elementos del boleano de $A$ $a_1 , a_2$ dará el elemento que representa la unión $a_1 \cup a_2$
