De Ejercicio4.5.6, sabemos queA∖B,B∖A, yA∩B son par-disjuntas, y que su unión esA∪B, así\[\#(A \backslash B)+\#(B \backslash A)+\#(A \cap B)=\#((A \...De Ejercicio4.5.6, sabemos queA∖B,B∖A, yA∩B son par-disjuntas, y que su unión esA∪B, así#(A∖B)+#(B∖A)+#(A∩B)=#((A∖B)∪(B∖A)∪(A∩B))=#(A∪B).