Gilt für die Vereinigung von Mengen die „Abziehregel“, d.h. kann man aus A ∪ C = B ∪ C {\displaystyle {}A\cup C=B\cup C} auf A = B {\displaystyle {}A=B} schließen?