Set Union is Self-Distributive

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


 * $\displaystyle \bigcup ( A \cup B ) = ( \bigcup A \cup \bigcup B )$