Definición

La suma de los cardinales de dos conjuntos A y B es igual al cardinal de la unión, si y sólo si los conjuntos A y B son disjuntos.

Por lo tanto, la suma de dos números a y b es igual al número s de elementos del conjunto formado por los elementos del primer conjunto y los elementos del segundo conjunto, siendo los conjuntos disjuntos.

A partir de la definición anterior podemos decir que la suma de dos números naturales es una función que a todo par ordenado de números naturales le hace corresponder otro número natural llamado suma. Por lo tanto, la suma es una operación binaria, ya que puede realizarse únicamente entre dos elementos.

La suma como operación binaria

La suma es una operación binaria, ya que puede realizarse únicamente entre dos elementos. Para sumar más de dos números, se suman los dos primeros sumandos, al resultado se le suma el tercer sumando y así sucesivamente.