1.2 The Algebra of Sets
1.2 The Algebra of Sets
1.2 The Algebra of Sets
2
The Algebra of Sets
Associated with events defined on a sample space are several operations collec-
tively referred to as the algebra of sets. These are the rules that govern the ways in
which one event can be combined with one another. In all of the following opera-
tions, the events A and B belong to a fixed sample space S.
The operations mentioned above satisfy many useful relations between events.
For the following relations, the events A, B, C , E1 , E2 , ... , Ek are defined over a fixed
sample space S.
1
1. (Ac )c = A
2. A ∪ Ac = S
3. A ∩ Ac = ∅
4. Commutative laws
A∪B =B ∪A
A∩B =B ∩A
5. Associative laws
A ∪ (B ∪ C ) = (A ∪ B) ∪ C
A ∩ (B ∩ C ) = (A ∩ B) ∩ C
6. Distributive laws
(A ∩ B) ∪ C = (A ∪ C ) ∩ (B ∪ C )
(A ∪ B) ∩ C = (A ∩ C ) ∪ (B ∩ C )
7. De Morgan’s first law
(A ∪ B)c = Ac ∩ B c
k
!c k
[ \
Ei = Eic
i=1 i=1
8. De Morgan’s second law
(A ∩ B)c = Ac ∪ B c
k
!c k
\ [
Ei = Eic
i=1 i=1
These and similar identities are usually proved formally by the elementwise
method. The idea is to show that the events on both sides of the equation are
formed of the same sample points. To use this method, we prove set inclusion in
both directions. That is, sample points belonging to the event on the left also be-
long to the event on the right, and vice versa. We use this method in the following
example.
Example 3. Prove De Morgan’s first law: for A and B belonging to the same sample
space S, (A ∪ B)c = Ac ∩ B c .
Proof. First we show that (A ∪ B)c ⊆ Ac ∩ B c ; then we prove the reverse inclusion
Ac ∩ B c ⊆ (A ∪ B)c . To show that (A ∪ B)c ⊆ Ac ∩ B c , let x be a sample point
that belongs to (A ∪ B)c . Thus,
x ∈ (A ∪ B)c ⇒ x ∈
/ A∪B
⇒x ∈
/ A and x ∈
/B
⇒ x ∈ Ac and x ∈ B c
2
⇒ x ∈ Ac ∩ B c
We have shown that (A∪B)c ⊆ Ac ∩B c . To prove the reverse inclusion, suppose
x ∈ Ac ∩ B c . Therefore,
x ∈ Ac ∩ B c ⇒ x ∈ Ac and x ∈ B c
⇒x ∈
/ A and x ∈
/B
⇒x ∈
/ A∪B
⇒ x ∈ (A ∪ B)c
Thus, Ac ∩ B c ⊆ (A ∪ B)c . This proves De Morgan’s first law.