Professional Documents
Culture Documents
Proof Terminologies
Proof Methods
05/28/2023
2
Today’s Contents
Why sets?
What is set?
Venn Diagrams
Set Operations
Sets equality
05/28/2023
3
Why study Set Theory?
Example: S={1, 2, 3, 4}
= {x | x is an integer where x 0 and x 5 }
= {x Z | x 0 and x 5 }
Examples
A = {tiger, lion, puma, cheetah, leopard, ocelot} (this is a set of large
species of animals).
A = {a, b, c, ..., z} (this is a set consisting of the lowercase letters of
the alphabet)
A = {-1, -2, -3, ...} (this is a set of the negative numbers)
Set D: Students taking Discrete Mathematics course.
Assume Ali is taking Discrete Mathematics course and Saeed is not
taking Discrete Mathematics course.
Ali ∈ D & Saeed ∉ D
In all above examples each element of the sets is distinct and well
defined.
Basic Properties of Sets
B = {2, 3, 4, 5, 6, 7} |B| = 6
A = {1, 2, 3, …} |A| =
Universal Set
Notations of Set Relationship
Symbol Meaning
Upper case designates set name
Lower case designates set elements
{ } enclose elements in set
(or ∉ ) is (or is not) an element of
is a subset of (includes equal sets)
is a proper subset of
is not a subset of
is a superset of
| or : such that (if a condition is true)
| | the cardinality of a set
Basic Set Relations : Universal Sets
The key relation between sets is membership when one set is an
element of another.
If a is a member of B, this is denoted a ∈ B, while if c is not a
member of B then c ∉ B.
For example, With respect to the sets A = {1,2,3,4} and B = {blue,
white, red}, 4 ∈ A and green ∉ B.
Universal Sets: The universal set is the set of all things relevant to a
given discussion and is designated by the symbol U. i.e. it contains
every set.
U is the universal set – the set of all of elements (or the “universe”)
from which given any set is drawn
Basic Set Relations : Subsets
Subsets: If every member of set A is also a member of set B, then A
is said to be a subset of B, written A ⊆ B (also pronounced A is
contained in B). The relationship between sets established by ⊆ is
called inclusion or containment.
Examples
A = {1,2,3,4},
B = {1,2,3,4,5,7}, and
C = {7,9,3}, and the universal set U = {1,2,3,4,5,6,7,8,9}.
Basic Set Relations : Super Set
Super Set: if we can write B ⊇ A, read as B is a superset of A, B
includes A, or B contains A.
Proper Subset: If A is a subset of, but not equal to, B, then A is
called a proper subset of B, written A ⊂ B (A is a proper subset of
B) or B ⊃ A (B is a proper superset of A).
Examples
The set of all men is a proper subset of the set of all people.
{1, 3} ⊂ {1, 2, 3, 4}.
{1, 2, 3, 4} ⊆ {1, 2, 3, 4}.
Proper Subsets & Supersets
S={1, 2} T={1, 2, 3}
S
T
AB
BA
AB
Basic Set Relations : Power Set
A = {x | x is a positive integer 8}
set A contains: 1, 2, 3, 4, 5, 6, 7, 8
B = {x | x is a positive even integer 10}
set B contains: 2, 4, 6, 8
C = {2, 4, 6, 8, 10}
set C contains: 2, 4, 6, 8, 10
The universal set U = {1,2,3,4,5,6,7,8,9,10}.
(or ∉ ) is (or is not) an element of
Examples:
{1, 2} ∪ {red, white} ={1, 2, red, white}.
{1, 2, green} ∪ {red, white, green} ={1, 2, red, white, green}.
{1, 2} ∪ {1, 2} = {1, 2}.
Union Examples
{a, b, c} {2, 3} =
AB
BA
Disjointedness
Formally:
A - B x xA xB
x xA xB
Also called:
A−B
is what’s left after B “takes a bite out of A”
Chomp!
Set
A-B
Set A Set B
Set Difference Examples
Z - N = {… , −1, 0, 1, 2, … } - {0, 1, … }
= {x | x is an integer but not a natural #}
= {… , −3, −2, −1}
= {x | x is a negative integer}
Operations on Set: Set Complements
E.g., If U = N,
{3, 5} {0,1, 2, 4, 6, 7,...}
Examples : Set Complements
Identity: A=A=AU
Domination: AU=U, A=
Idempotent: AA=A,AA=A
Double complement: (A) = A
Commutative: A B = B A, A B = B A
Associative: A (B C) = (A B) C,
A (B C) = (A B) C
A (B C) = (A B) (A
Distributive:
C),
Absorption: A (B C) = (A B) (A
C)
Complement: A A = U, A A =
A (A B) = A, A (A
B) = A
De Morgan’s Law for Sets
ABA
B ABA
B
Proving Set Identities
constituent sets.
Use “1” to indicate membership in the
columns.
Membership Table Example
Prove (A B) - B = A - B.
Prove (A B) - C = (A - C) (B - C).
A A
B C B C
AB (A B) – C
A A A
B C B C B C
A–C B–C (A – C) (B – C)
Bit String Representation of Sets
A frequent theme of this course are methods of
representing one discrete structure using another
discrete structure of a different type.
For an enumerable universal set U with
ordering x1, x2, x3,…, we can represent a finite
set S U as the finite bit string B = b1b2…bn
where
bi = 1 if xi S and bi = 0 if xi S.
E.g. U = N, S = {2,3,5,7,11}, B = 0011 0101
0001.
Questions?