El número de elementos de la unión de dos conjuntos finitos y es la suma de los elementos de y de , si no tienen elementos en común.