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' |