| Given any sets |
|
| 1. Union with |
|
| 2. Intersection and Union with Complement |
|
| 3. Intersection with |
|
| 4. Complement of Union and |
|
|
|
|
| 5. Every set is subset of Universal |
|
| 6. Empty set is subset of every set |
|
| 7. Definition of Empty Set |
|