Set Union is Self-Distributive

Theorem
Let $A$ and $B$ denote classes.


 * $\displaystyle \bigcup \left({A \cup B}\right) = \left({\bigcup A}\right) \cup \left({\bigcup B}\right)$