Does the "subtraction rule“ hold for the union of sets, i.e., can we infer from A ∪ C = B ∪ C {\displaystyle {}A\cup C=B\cup C} that A = B {\displaystyle {}A=B} holds?
