因为，A-B=A-AB所以(A-B)∪B=(A-AB)+B又因为任意集合C、D，C+D=C+D-CD(A-AB)+B=(A-AB)+B-(A-AB)B=A+B-AB-(A-AB)B(A-AB)B=空集所以A+B-AB-(A-AB)B=A+B-AB=A+B所以，(A-B)∪B=A∪B
