La conmutatividad de la suma es consecuencia de la de la unión de conjuntos.