The important rules 
and 
are known as DeMorgan's
Laws. These rules also extend to arbitrary unions and intersections as 
and 
In manipulating expressions involving set operations it is often convenient
to distribute one set operation over another. Specifically we have 
and 