Cardinalidade da união de conjuntos disjuntos