Union

Definition: Union
If and are sets, then the union of and (written ) is given by .

This means that if you know , you can conclude that 'either' 'or' , and similarly you can prove if you can either prove or that .

In this Venn diagram, the union of and is shaded: