and union distributes over intersection. That is, for any sets and one has

Inside a universe one may define the complement of to be the set of all elements of not in Furthermore, the intersection of and may be written as the complement of the union of their complements, derived easily from De Morgan's laws:

Arbitrary intersections

The most general notion is the intersection

1.Previous
3.Next