$(A=B)\implies (A\cup C=B\cup C)$