Qu'est ce que l'addition?

On prend deux ensembles disjoints $A$ et $B$ ayant chacun $\vert A\vert$ et $\vert B\vert$ éléments (lire 'cardinal' de A et 'cardinal' de $B$). Et bien l'addition de $\vert A\vert$ et $\vert B\vert$, c'est ce qu'on obtient en mettant ensemble les éléments de $A$ et $B$: $\vert A\vert + \vert B\vert = \vert A \cup B\vert$