Class Union Distributes over Class Intersection

Theorem
Let $A$, $B$ and $C$ be classes.

Then:
 * $A \cup \paren {B \cap C} = \paren {A \cup B} \cap \paren {A \cup C}$

where:
 * $A \cup B$ denotes class union
 * $B \cap C$ denotes class intersection.

Also see

 * Union Distributes over Intersection


 * Class Intersection Distributes over Class Union