Set Theory Explorer

(A u B) = union
(A i B) = intersection
(A \ B) = difference
(c A) = complement
0 = empty set
U = universe
all-caps strings = sets

Starting Equation:

Challenges:

• Easy: Prove (B u (B i (A u B))) == B
• Hard: Prove ((A u C) - ((B - A) u (C - A))) == A

If you get the hard challenge in under 28 steps, let me know.