Term
| Commutative Laws: For all sets A & B |
|
Definition
(a) A U B = B U A
(b) A inter B = B inter A |
|
|
Term
| Associative Laws: For all sets A,B, & C |
|
Definition
(a) (A U B) U C = A U (B U C)
(b) (A inter B) inter C = A inter (B inter C) |
|
|
Term
| Distributive Laws: For all sets A, B, & C |
|
Definition
(a)A U (B inter C) = (A U B) inter (A U C)
(b)A inter (B U C) = (A inter B) U (A inter C) |
|
|
Term
| Identity Laws: For all sets A |
|
Definition
(a)A U 0 = A
(b)A inter 0 = 0 |
|
|
Term
|
Definition
(a)A U A^c^ = Univ
(b)A inter A^c^ = 0 |
|
|
Term
| Double Complement Laws: For all sets A |
|
Definition
|
|
Term
| Idempotent Laws: For all sets A |
|
Definition
(a)A U A = A
(b)A inter A = A |
|
|
Term
| Universal Bound Laws: For all sets A |
|
Definition
(a)A U Univ = Univ
(b)A inter 0 = 0 |
|
|
Term
| De Morgan's Laws: For all sets A and B |
|
Definition
(a)(A U B)^c^ = A^c^ inter B^c^
(b)(A inter B)^c^ = A^c^ U B^c^ |
|
|
Term
| Absorption Laws: For all sets A and B |
|
Definition
(a)A U (A inter B) = A
(b)A inter (A U B) = A |
|
|
Term
|
Definition
|
|
Term
| Set Different Law: For all sets A & B |
|
Definition
|
|
