La adicin (o suma) de dos nmeros naturales es el nmero cardinal que corresponde a la unin de dos conjuntos ajenos, cuyos cardinales

son los nmeros dados. Es importante hacer notar que la adicin es una operacin con nmeros, a diferencia de la unin, que es una operacin entre conjuntos. La definicin utiliza la unin de dos conjuntos ajenos porque nos ayuda a comprender la adicin de dos nmeros naturales.
EJEMPLO

Juan cosech las naranjas maduras de dos de los naranjos que hay en su huerto. Del primer rbol cort nueve naranjas y del segundo cort ocho. Es evidente que las naranjas cosechadas por Juan son la unin de

las que cort de cada rbol. Dicho de otro modo, son la unin de los dos

conjuntos de fruta obtenidos de cada uno de los rboles. Hay que hacer
notar que se trata de conjuntos ajenos, porque no tienen elementos comunes. Al contar las naranjas del conjunto unin se obtiene el 8 del segundo, lo cual se indica as: nmero 17, que es la suma de las 9 naranjas del primer conjunto y las

9+8=17 Donde 9 y 8 son los cardinales de los dos conjuntos que se unieron y 17 el cardinal del conjunto resultante. La suma de los nmeros 9 y 8 es el nmero natural 17, porque ste indica cuntos elementos tiene la unin de dos conjuntos ajenos cuyos cardinales son, respectivamente 9 y 8. Como la adicin se realiza con dos nmeros se dice que es una operacin binaria. Conviene hacer notar que la adicin, como operacin aritmtica se realiza con nmeros abstractos.