WolframAlpha: Is there a way to make an assumption about the set relations, before performing set-theoretic operations

Question

So in WolframAlpha, it is possible perform set operations and test for equality like

(A intersect B) union C = A union C

But before doing so, it