click below
click below
Normal Size Small Size show me how
Set Identities
Set identities in algebraic proofs for set theory
| Law | Equation |
|---|---|
| Commutative Laws (a) | A ∪ B = B ∪ A |
| Commutative Laws (b) | A ∩ B = B ∩ A |
| Associative Laws (a) | (A ∪ B) ∪ C = A ∪ (B ∪ C) |
| Associative Laws (b) | (A ∩ B) ∩ C = A ∩ (B ∩ C) |
| Distributive Laws (a) | A ∪ (B ∩ C) = (A ∪ B) ∩ (A ∪ C) |
| Distributive Laws (b) | A ∩ (B ∪ C) = (A ∩ B) ∪ (A ∩ C) |
| Identity Laws (a) | A ∪ ∅ = A |
| Identity Laws (b) | A ∩ U = A |
| Complement Laws (a) | A ∪ A' = U |
| Complement Laws (b) | A ∩ A' = ∅ |
| Double Complement Law | (A')' = A |
| Idempotent Laws (a) | A ∪ A = A |
| Idempotent Laws (b) | A ∩ A = A |
| Universal Bound Laws (a) | A ∪ U = U |
| Universal Bound Laws (b) | A ∩ ∅ = ∅ |
| De Morgan's Laws (a) | (A ∪ B)' = A' ∩ B' |
| De Morgan's Laws (b) | (A ∩ B)'= A' ∪ B' |
| Absorption Laws (a) | A ∪ (A ∩ B) = A |
| Absorption Laws (b) | A ∩ (A ∪ B) = A |
| Complements of U and ∅ (b) | U' = ∅ |
| Complements of U and ∅ (b) | ∅' = U |
| Set Difference Law | A - B = A ∩ B' |