SlideShare a Scribd company logo
MathematicalFoundation
Of ComputerScience
SetTheory
UNIT 2
BasicConceptsofSets
● German mathematician G. Cantor introduced the concept of sets.
● Set theory forms the basis of several other fields of study like
counting theory, relations, graph theory and finite state machines.
Definition :
A set is an unordered collection of different elements. A set can be
written explicitly by listing its elements using set bracket. If the order of
the elements is changed or any element of a set is repeated, it does not
make any changes in the set.
Example :
● A set of all positive integers
● A set of all the planets in the solar system
RepresentationofSets
Sets can be represented in two ways −
● Roster or Tabular Form
● Set Builder Notation
RosterorTabularForm
● The set is represented by listing all the elements comprising it.
● The elements are enclosed within braces and separated by commas.
Example 1 :
Set of vowels in English alphabet
A={a,e,i,o,u}
Example 2 :
Set of odd numbers less than 10,
B={1,3,5,7,9}
SetBuilderNotation
The set is defined by specifying a property that elements of the set have in common. The
set is described as
A={x:p(x)}
Example:
The set -
A={a,e,i,o,u}
is written as −
A={x:x is a vowel in English alphabet}
Important Sets
● N − the set of all natural numbers =
{1,2,3,4,.....}
● Z − the set of all integers =
{.....,−3,−2,−1,0,1,2,3,.....}
● Z+ − the set of all positive integers
● Q − the set of all rational numbers
● R − the set of all real numbers
● W − the set of all whole numbers
CardinalityofaSet
Cardinality of a set S, denoted by
|S|
, is the number of elements of the set. The number is also referred
as the cardinal number. If a set has an infinite number of elements,
its cardinality is
∞
Example
|{1,4,3,5}|=4,|{1,2,3,4,5,…}| = ∞
If there are two sets X and Y,
● |X|=|Y| denotes two sets X and Y having same cardinality. It occurs when the number
of elements in X is exactly equal to the number of elements in Y. In this case, there
exists a bijective function ‘f’ from X to Y.
● |X|≤|Y| denotes that set X’s cardinality is less than or equal to set Y’s cardinality. It
occurs when number of elements in X is less than or equal to that of Y. Here, there
exists an injective function ‘f’ from X to Y.
● |X|<|Y| denotes that set X’s cardinality is less than set Y’s cardinality. It occurs when
number of elements in X is less than that of Y. Here, the function ‘f’ from X to Y is
injective function but not bijective.
● If |X|≤|Y| and |X|≥|Y| then |X|=|Y|. The sets X and Y are commonly referred as
equivalent sets.
Types of Sets
● Finite Set
A set which contains a definite number of elements is called a finite set.
Example − S={x|x∈N and 70>x>50}
● Infinite Set
A set which contains infinite number of elements is called an infinite set.
Example − S={x|x∈N and x>10}
● Subset
A set X is a subset of set Y (Written as X⊆Y) if every element of X is an element of set Y.
Example − Let, X={1,2,3,4,5,6} and Y={1,2}. Here set Y is a subset of set X as all the elements
of set Y is in set X. Hence, we can write Y⊆X.
● Proper Subset
The term “proper subset” can be defined as “subset of but not equal to”. A Set X is a proper subset of set
Y (Written as X⊂Y) if every element of X is an element of set Y and |X|<|Y|.
Example − Let, X={1,2,3,4,5,6} and Y={1,2}. Here set Y⊂X since all elements in Y are contained in X too
and X has at least one element is more than set Y .
● Universal Set
It is a collection of all elements in a particular context or application. All the sets in that context or
application are essentially subsets of this universal set. Universal sets are represented as U.
Example − We may define U as the set of all animals on earth. In this case, set of all mammals is a subset of
U, set of all fishes is a subset of U, set of all insects is a subset of U, and so on.
● Empty Set or Null Set
An empty set contains no elements. It is denoted by ∅. As the number of elements in an empty set is
finite, empty set is a finite set. The cardinality of empty set or null set is zero.
Example − S={x|x∈N and 7<x<8} = ∅
● Singleton Set or Unit Set
Singleton set or unit set contains only one element. A singleton set is denoted by {s}.
Example - S={x|x∈N, 7<x<9} = {8}
● Equal Set
If two sets contain the same elements they are said to be equal.
Example − If A={1,2,6} and B={6,1,2}, they are equal as every element of set A is an
element of set B and every element of set B is an element of set A.
● Equivalent Set
If the cardinalities of two sets are same, they are called equivalent sets.
Example − If A={1,2,6} and B={16,17,22}, they are equivalent as cardinality of A is
equal to the cardinality of B. i.e. |A|=|B|=3
● Overlapping Set
Two sets that have at least one common element are called overlapping sets.
In case of overlapping sets −
● n(A∪B)=n(A)+n(B)−n(A∩B)
● n(A∪B)=n(A−B)+n(B−A)+n(A∩B)
● n(A)=n(A−B)+n(A∩B)
● n(B)=n(B−A)+n(A∩B)
Example − Let, A={1,2,6} and B={6,12,42}. There is a common element ‘6’,
hence these sets are overlapping sets.
● Disjoint Set
Two sets A and B are called disjoint sets if they do not have even one element in
common. Therefore, disjoint sets have the following properties −
● n(A∩B) = ∅
● n(A∪B)=n(A)+n(B)
Operations On Sets
The union of sets A and B (denoted by A∪B) is the set of elements which are in
A, in B, or in both A and B. Hence, A∪B={x|x∈A OR x∈B}.
Example − If A={10,11,12,13} and B = {13,14,15}, then A∪B={10,11,12,13,14,15}.
(The common element occurs only once)
SetUnion
Set Intersection
The intersection of sets A and B (denoted by A∩B) is the set of elements which are in both A and
B. Hence, A∩B={x|x∈A AND x∈B}.
Example − If A={11,12,13} and B={13,14,15}, then A∩B={13}.
SetDifference/RelativeComplement
The set difference of sets A and B (denoted by A–B) is the set of elements which are
only in A but not in B. Hence, A−B={x|x∈A AND x∉B}.
Example − If A={10,11,12,13} and B={13,14,15}, then (A−B)={10,11,12} and
(B−A)={14,15}. Here, we can see (A−B)≠(B−A)
ComplementOfSet
The complement of a set A (denoted by A′) is the set of elements which are not in set A. Hence,
A′={x|x∉A}.
More specifically, A′=(U−A) where U is a universal set which contains all objects.
Example −
If A={x|x belongs to set of odd integers} then
A′={y|y does not belong to set of odd integers}
CartesianProduct/CrossProduct
The Cartesian product of n number of sets A1,A2,…An denoted as A1×A2⋯×An can be
defined as all possible ordered pairs (x1,x2,…xn) where x1∈A1,x2∈A2,…xn∈An
Example − If we take two sets A={a,b} and B={1,2},
The Cartesian product of A and B is written as − A×B={(a,1),(a,2),(b,1),(b,2)}
The Cartesian product of B and A is written as − B×A={(1,a),(1,b),(2,a),(2,b)}
Power Set
Power set of a set S is the set of all subsets of S including the empty set. The cardinality
of a power set of a set S of cardinality n is 2n. Power set is denoted as P(S).
Example − For a set S={a,b,c,d} let us calculate the subsets −
● Subsets with 0 elements − {∅} (the empty set)
● Subsets with 1 element − {a},{b},{c},{d}
● Subsets with 2 elements − {a,b},{a,c},{a,d},{b,c},{b,d},{c,d}
● Subsets with 3 elements − {a,b,c},{a,b,d},{a,c,d},{b,c,d}
● Subsets with 4 elements − {a,b,c,d}
Hence, P(S)= {{∅},{a},{b},{c},{d},{a,b},{a,c},{a,d},{b,c},{b,d},{c,d},{a,b,c},{a,b,d},{a,c,d},{b,c,d},{a,b,c,d}}
|P(S)|=24=16
Note − The power set of an empty set is also an empty set.
Countable and Uncountable Sets
● In mathematics, acountableset is a set with the same cardinality as some
subset of the set of natural numbers. A countable set is either a finite set or
a countably infinite set.
● In mathematics, anuncountableset is an infinite set that contains too
many elements to be countable. The uncountability of a set is closely
related to its cardinal number: a set is uncountable if its cardinal number is
larger than that of the set of all natural numbers.
Relations
Definition
● A relation between two sets is a collection of ordered pairs containing one object
from each set. If the object xx is from the first set and the object yy is from the
second set, then the objects are said to be related if the ordered pair (x,y)(x,y) is in
the relation.
● A function is a type of relation. But, a relation is allowed to have the object xx in the
first set to be related to more than one object in the second set. So a relation may
not be represented by a function machine, because, given the object xx to the input
of the machine, the machine couldn't spit out a unique output object that is paired
to xx.
● In other words, the relation between the two sets is defined as the collection of the
ordered pair, in which the ordered pair is formed by the object from each
set. Example: {(-2, 1), (4, 3), (7, -3)}, usually written in set notation form with curly
brackets.
Types of Relations
1. EmptyRelation: A relation R on a set A is called Empty if the set A is empty set.
2. FullRelation:A binary relation R on a set A and B is called full if AXB.
3. ReflexiveRelation:A relation R on a set A is called reflexive if (a,a) € R holds for
every element a € A .i.e. if set A = {a,b} then R = {(a,a), (b,b)} is reflexive relation.
4. Irreflexiverelation: A relation R on a set A is called reflexive if no (a,a) € R
holds for every element a € A.i.e. if set A = {a,b} then R = {(a,b), (b,a)} is irreflexive
relation.
5. SymmetricRelation: A relation R on a set A is called symmetric if (b,a) € R holds
when (a,b) € R.i.e. The relation R={(4,5),(5,4),(6,5),(5,6)} on set A={4,5,6} is
symmetric.
6. AntiSymmetric Relation: A relation R on a set A is called antisymmetric if (a,b)€ R
and (b,a) € R then a = b is called antisymmetric.i.e. The relation R = {(a,b)→ R|a ≤ b} is
anti-symmetric since a ≤ b and b ≤ a implies a = b.
7. Transitive Relation: A relation R on a set A is called transitive if (a,b) € R and (b,c) €
R then (a,c) € R for all a,b,c € A.i.e. Relation R={(1,2),(2,3),(1,3)} on set A={1,2,3} is
transitive.
8. Equivalence Relation: A relation is an Equivalence Relation if it is reflexive,
symmetric, and transitive. i.e. relation R={(1,1),(2,2),(3,3),(1,2),(2,1),(2,3),(3,2),(1,3),(3,1)} on set
A={1,2,3} is equivalence relation as it is reflexive, symmetric, and transitive.
9. Asymmetricrelation: Asymmetric relation is opposite of symmetric relation. A
relation R on a set A is called asymmetric if no (b,a) € R when (a,b) € R.
Extra notes for Relation
With Examples
● Relation:
It is a subset of the Cartesian product. Or simply, a bunch of points(ordered pairs). In
other words, the relation between the two sets is defined as the collection of the ordered
pair, in which the ordered pair is formed by the object from each set.
Example: {(-2, 1), (4, 3), (7, -3)}, usually written in set notation form with curly brackets.
● Relation Representation
There are other ways too to write the relation, apart from set notation such as through
tables, plotting it on XY- axis or through mapping diagram.
 Types of Relations
 Empty Relations
 Universal Relations
 Identity Relations
 Inverse Relations
 Reflexive Relations
 Symmetric Relations
 Transitive Relations
Let us discuss all the types one by one.
Empty Relation
When there’s no element of set X is related or mapped to any element of X, then the relation R in A is
an empty relation, and also called the void relation. I.e
R= ∅.
For example, if there are 100 mangoes in the fruit basket. There’s no possibility of finding a relation R
of getting any apple in the basket. So, R is Void as it has 100 mangoes and no apples.
Universal relation
R is a relation in a set, let’s say A is a universal relation because, in this full relation, every
element of A is related to every element of A. i.e R = A × A.
It’s a full relation as every element of Set A is in Set B.
Identity Relation
If every element of set A is related to itself only, it is called Identity relation.
I={(A, A), ∈ a}.
For Example,
When we throw a dice, the total number of possible outcomes is 36. I.e (1, 1) (1, 2), (1, 3)…..(6,
6). From
these, if we consider the relation(1, 1), (2, 2), (3, 3) (4, 4) (5, 5) (6, 6), it is an identity relation.
Inverse Relation
If R is a relation from set A to set B i.e R ∈ A X B. The relation R−1 = {(b,a):(a,b) ∈ R}.
For Example,
If you throw two dice if R = {(1, 2) (2, 3)}, R−1= {(2, 1) (3, 2)}. Here the domain is the range
R−1 and vice versa.
● Reflexive Relation
A relation is a reflexive relation If every element of set A maps to itself. I.e for every a ∈ A,
(a, a) ∈ R.
Symmetric Relation
A symmetric relation is a relation R on a set A if (a, b) ∈ R then (b, a) ∈ R, for all a & b ∈
A.
Transitive Relation
If (a, b) ∈ R, (b, c) ∈ R, then (a, c) ∈ R, for all a,b,c ∈ A and this relation in set A is
transitive.
● Equivalence Relation
If a relation is reflexive, symmetric and transitive, then the relation is called an
equivalence relation.
OperationsonRelations
PropertiesofRelations
Consider this example,
If A = {1, 2, 3} and B = {3, 1, 6}
Then A x B = { (1,3) , (1,1) , (1,6) , (2,3) , (2,1) , (2,6) , (3,3) , (3,1) , (3,6) }
● Symmetric Relation : R = { (1,3) , (3,1) , (1,1) , (3,3) }
● Anti - symmetric Relation : R = { (1,1) , (1,6) , (2,3) , (2,1) , (3,3) , (3,6) }
● Asymmetric Relation : R = { (1,6) , (2,3) , (2,1) , (3,6) }
Symmetric Relation : A relation is symmetric if for all x,y ∈ X, (x,y) ∈ R ⇒ (y,x) ∈ R
Asymmetric Relation : A relation is asymmetric if for all x,y ∈ X, (x,y) ∈ R ⇒ (y,x) ∉ R
(1,3) (1,1) (1,6)
(2,3) (2,1) (2,6)
(3,3) (3,1) (3,6)
(1,3) (1,1) (1,6)
(2,3) (2,1) (2,6)
(3,3) (3,1) (3,6)
Antisymmetric Relation : A relation is antisymmetric if:
● For all x,y ∈ X [(x,y) ∈ R and (y,x) ∈ R] ⇒ x = y
● For all x,y ∈ X [(x,y) ∈ R and x ≠ y] ⇒ (y,x) ∉ R
(1,3) (1,1) (1,6)
(2,3) (2,1) (2,6)
(3,3) (3,1) (3,6)
Set Theory - Unit -II (Mathematical Foundation  Of  Computer Science).pptx
Set Theory - Unit -II (Mathematical Foundation  Of  Computer Science).pptx

More Related Content

What's hot

Introduction to set theory
Introduction to set theoryIntroduction to set theory
Introduction to set theory
Raju Ahmed Rony
 
Functions in discrete mathematics
Functions in discrete mathematicsFunctions in discrete mathematics
Functions in discrete mathematics
Rachana Pathak
 
Group homomorphism
Group homomorphismGroup homomorphism
Group homomorphism
NaliniSPatil
 
Set in discrete mathematics
Set in discrete mathematicsSet in discrete mathematics
Set in discrete mathematics
University of Potsdam
 
Sets and Functions By Saleh ElShehabey
Sets and Functions By Saleh ElShehabeySets and Functions By Saleh ElShehabey
Sets and Functions By Saleh ElShehabeyravingeek
 
Fuzzy logic Notes AI CSE 8th Sem
Fuzzy logic Notes AI CSE 8th SemFuzzy logic Notes AI CSE 8th Sem
Fuzzy logic Notes AI CSE 8th Sem
DigiGurukul
 
Poset in Relations(Discrete Mathematics)
Poset in Relations(Discrete Mathematics)Poset in Relations(Discrete Mathematics)
Poset in Relations(Discrete Mathematics)
Rachana Pathak
 
Set theory-ppt
Set theory-pptSet theory-ppt
Set theory-ppt
vipulAtri
 
Function and Its Types.
Function and Its Types.Function and Its Types.
Function and Its Types.
Awais Bakshy
 
Set concepts
Set conceptsSet concepts
Set concepts
Malti Aswal
 
Fuzzy Logic
Fuzzy LogicFuzzy Logic
Fuzzy Logic
Rishikese MR
 
1. set theory
1. set theory1. set theory
1. set theory
caymulb
 
3.2 Power sets
3.2 Power sets3.2 Power sets
3.2 Power sets
Jan Plaza
 
Final maths presentation on sets
Final maths presentation on setsFinal maths presentation on sets
Final maths presentation on sets
Rahul Avicii
 
Eigen values and eigen vectors engineering
Eigen values and eigen vectors engineeringEigen values and eigen vectors engineering
Eigen values and eigen vectors engineering
shubham211
 
Matrix basic operations
Matrix basic operationsMatrix basic operations
Matrix basic operationsJessica Garcia
 
CMSC 56 | Lecture 16: Equivalence of Relations & Partial Ordering
CMSC 56 | Lecture 16: Equivalence of Relations & Partial OrderingCMSC 56 | Lecture 16: Equivalence of Relations & Partial Ordering
CMSC 56 | Lecture 16: Equivalence of Relations & Partial Ordering
allyn joy calcaben
 
L8 fuzzy relations contd.
L8 fuzzy relations contd.L8 fuzzy relations contd.
L8 fuzzy relations contd.
Mohammad Umar Rehman
 
Generating function
Generating functionGenerating function

What's hot (20)

Introduction to set theory
Introduction to set theoryIntroduction to set theory
Introduction to set theory
 
Functions in discrete mathematics
Functions in discrete mathematicsFunctions in discrete mathematics
Functions in discrete mathematics
 
Group homomorphism
Group homomorphismGroup homomorphism
Group homomorphism
 
Set in discrete mathematics
Set in discrete mathematicsSet in discrete mathematics
Set in discrete mathematics
 
Sets and Functions By Saleh ElShehabey
Sets and Functions By Saleh ElShehabeySets and Functions By Saleh ElShehabey
Sets and Functions By Saleh ElShehabey
 
Fuzzy logic Notes AI CSE 8th Sem
Fuzzy logic Notes AI CSE 8th SemFuzzy logic Notes AI CSE 8th Sem
Fuzzy logic Notes AI CSE 8th Sem
 
Poset in Relations(Discrete Mathematics)
Poset in Relations(Discrete Mathematics)Poset in Relations(Discrete Mathematics)
Poset in Relations(Discrete Mathematics)
 
Set theory-ppt
Set theory-pptSet theory-ppt
Set theory-ppt
 
Function and Its Types.
Function and Its Types.Function and Its Types.
Function and Its Types.
 
Set concepts
Set conceptsSet concepts
Set concepts
 
Fuzzy Logic
Fuzzy LogicFuzzy Logic
Fuzzy Logic
 
1. set theory
1. set theory1. set theory
1. set theory
 
3.2 Power sets
3.2 Power sets3.2 Power sets
3.2 Power sets
 
Final maths presentation on sets
Final maths presentation on setsFinal maths presentation on sets
Final maths presentation on sets
 
Eigen values and eigen vectors engineering
Eigen values and eigen vectors engineeringEigen values and eigen vectors engineering
Eigen values and eigen vectors engineering
 
Matrix basic operations
Matrix basic operationsMatrix basic operations
Matrix basic operations
 
CMSC 56 | Lecture 16: Equivalence of Relations & Partial Ordering
CMSC 56 | Lecture 16: Equivalence of Relations & Partial OrderingCMSC 56 | Lecture 16: Equivalence of Relations & Partial Ordering
CMSC 56 | Lecture 16: Equivalence of Relations & Partial Ordering
 
Connectivity of graph
Connectivity of graphConnectivity of graph
Connectivity of graph
 
L8 fuzzy relations contd.
L8 fuzzy relations contd.L8 fuzzy relations contd.
L8 fuzzy relations contd.
 
Generating function
Generating functionGenerating function
Generating function
 

Similar to Set Theory - Unit -II (Mathematical Foundation Of Computer Science).pptx

Discrete mathematics OR Structure
Discrete mathematics OR Structure Discrete mathematics OR Structure
Discrete mathematics OR Structure
Abdullah Jan
 
G-1-SETS.pdf
G-1-SETS.pdfG-1-SETS.pdf
G-1-SETS.pdf
catadajasmin903
 
Sets functions-sequences-exercises
Sets functions-sequences-exercisesSets functions-sequences-exercises
Sets functions-sequences-exercises
Roshayu Mohamad
 
Module week 1 Q1
Module week 1 Q1Module week 1 Q1
Module week 1 Q1
Rommel Limbauan
 
Set Theory
Set TheorySet Theory
Set Theoryitutor
 
Basic structures of SETS in Discrete Mathematics.
Basic structures of SETS in Discrete Mathematics.Basic structures of SETS in Discrete Mathematics.
Basic structures of SETS in Discrete Mathematics.
AbdulRehman378540
 
SETS PPT-XI.pptx
SETS PPT-XI.pptxSETS PPT-XI.pptx
SETS PPT-XI.pptx
TamannaNayak5
 
Sets (Mathematics class XI)
Sets (Mathematics class XI)Sets (Mathematics class XI)
Sets (Mathematics class XI)
VihaanBhambhani
 
Types of sets
Types of setsTypes of sets
Types of sets
Mahitha Davala
 
Maths Project 11 class(SETS)
Maths Project 11 class(SETS)Maths Project 11 class(SETS)
Maths Project 11 class(SETS)
Sahil Mehra
 
Sets and functions daniyal khan
Sets and functions daniyal khanSets and functions daniyal khan
Sets and functions daniyal khan
Daniyal Khan
 
Calculus of One Variable
Calculus of One VariableCalculus of One Variable
Calculus of One Variable
dilip ghule
 
Discrete mathematics for diploma students
Discrete mathematics for diploma studentsDiscrete mathematics for diploma students
Discrete mathematics for diploma students
Zubair Khan
 
functions and sets.pdf
functions and sets.pdffunctions and sets.pdf
functions and sets.pdf
petermulei3
 
functions and sets.pdf
functions and sets.pdffunctions and sets.pdf
functions and sets.pdf
petermulei3
 
Maths presentation of Agrima.pptx
Maths presentation of Agrima.pptxMaths presentation of Agrima.pptx
Maths presentation of Agrima.pptx
Kunal219998
 
Set and Set operations, UITM KPPIM DUNGUN
Set and Set operations, UITM KPPIM DUNGUNSet and Set operations, UITM KPPIM DUNGUN
Set and Set operations, UITM KPPIM DUNGUN
baberexha
 
Set
SetSet
Set
H K
 

Similar to Set Theory - Unit -II (Mathematical Foundation Of Computer Science).pptx (20)

Discrete mathematics OR Structure
Discrete mathematics OR Structure Discrete mathematics OR Structure
Discrete mathematics OR Structure
 
G-1-SETS.pdf
G-1-SETS.pdfG-1-SETS.pdf
G-1-SETS.pdf
 
Sets functions-sequences-exercises
Sets functions-sequences-exercisesSets functions-sequences-exercises
Sets functions-sequences-exercises
 
Module week 1 Q1
Module week 1 Q1Module week 1 Q1
Module week 1 Q1
 
Set Theory
Set TheorySet Theory
Set Theory
 
Basic structures of SETS in Discrete Mathematics.
Basic structures of SETS in Discrete Mathematics.Basic structures of SETS in Discrete Mathematics.
Basic structures of SETS in Discrete Mathematics.
 
SETS PPT-XI.pptx
SETS PPT-XI.pptxSETS PPT-XI.pptx
SETS PPT-XI.pptx
 
Sets (Mathematics class XI)
Sets (Mathematics class XI)Sets (Mathematics class XI)
Sets (Mathematics class XI)
 
Types of sets
Types of setsTypes of sets
Types of sets
 
Maths Project 11 class(SETS)
Maths Project 11 class(SETS)Maths Project 11 class(SETS)
Maths Project 11 class(SETS)
 
Sets
SetsSets
Sets
 
Sets and functions daniyal khan
Sets and functions daniyal khanSets and functions daniyal khan
Sets and functions daniyal khan
 
4898850.ppt
4898850.ppt4898850.ppt
4898850.ppt
 
Calculus of One Variable
Calculus of One VariableCalculus of One Variable
Calculus of One Variable
 
Discrete mathematics for diploma students
Discrete mathematics for diploma studentsDiscrete mathematics for diploma students
Discrete mathematics for diploma students
 
functions and sets.pdf
functions and sets.pdffunctions and sets.pdf
functions and sets.pdf
 
functions and sets.pdf
functions and sets.pdffunctions and sets.pdf
functions and sets.pdf
 
Maths presentation of Agrima.pptx
Maths presentation of Agrima.pptxMaths presentation of Agrima.pptx
Maths presentation of Agrima.pptx
 
Set and Set operations, UITM KPPIM DUNGUN
Set and Set operations, UITM KPPIM DUNGUNSet and Set operations, UITM KPPIM DUNGUN
Set and Set operations, UITM KPPIM DUNGUN
 
Set
SetSet
Set
 

Recently uploaded

HOW TO USE PINTEREST_by: Clarissa Credito
HOW TO USE PINTEREST_by: Clarissa CreditoHOW TO USE PINTEREST_by: Clarissa Credito
HOW TO USE PINTEREST_by: Clarissa Credito
ClarissaAlanoCredito
 
WEEK 11 PART 1- SOULMAKING (ARTMAKING) (1).pdf
WEEK 11 PART 1- SOULMAKING (ARTMAKING) (1).pdfWEEK 11 PART 1- SOULMAKING (ARTMAKING) (1).pdf
WEEK 11 PART 1- SOULMAKING (ARTMAKING) (1).pdf
AntonetteLaurio1
 
Award template for beginner students of DVBS
Award template for beginner students of DVBSAward template for beginner students of DVBS
Award template for beginner students of DVBS
RodilynColampit
 
2024 MATFORCE Youth Poster Contest Winners
2024 MATFORCE Youth Poster Contest Winners2024 MATFORCE Youth Poster Contest Winners
2024 MATFORCE Youth Poster Contest Winners
matforce
 
Cream and Brown Illustrative Food Journal Presentation.pptx
Cream and Brown Illustrative Food Journal Presentation.pptxCream and Brown Illustrative Food Journal Presentation.pptx
Cream and Brown Illustrative Food Journal Presentation.pptx
cndywjya001
 
一比一原版(UniSA毕业证)南澳大学毕业证成绩单如何办理
一比一原版(UniSA毕业证)南澳大学毕业证成绩单如何办理一比一原版(UniSA毕业证)南澳大学毕业证成绩单如何办理
一比一原版(UniSA毕业证)南澳大学毕业证成绩单如何办理
zeyhe
 
Brushstrokes of Inspiration: Four Major Influences in Victor Gilbert’s Artist...
Brushstrokes of Inspiration: Four Major Influences in Victor Gilbert’s Artist...Brushstrokes of Inspiration: Four Major Influences in Victor Gilbert’s Artist...
Brushstrokes of Inspiration: Four Major Influences in Victor Gilbert’s Artist...
KendraJohnson54
 
All the images mentioned in 'See What You're Missing'
All the images mentioned in 'See What You're Missing'All the images mentioned in 'See What You're Missing'
All the images mentioned in 'See What You're Missing'
Dave Boyle
 
This is a certificate template for Daily Vacation Bible School Awards Can edi...
This is a certificate template for Daily Vacation Bible School Awards Can edi...This is a certificate template for Daily Vacation Bible School Awards Can edi...
This is a certificate template for Daily Vacation Bible School Awards Can edi...
RodilynColampit
 
Fashionista Chic Couture Mazes and Coloring AdventureA
Fashionista Chic Couture Mazes and Coloring AdventureAFashionista Chic Couture Mazes and Coloring AdventureA
Fashionista Chic Couture Mazes and Coloring AdventureA
julierjefferies8888
 
Dino Ranch Storyboard / Kids TV Advertising
Dino Ranch Storyboard / Kids TV AdvertisingDino Ranch Storyboard / Kids TV Advertising
Dino Ranch Storyboard / Kids TV Advertising
Alessandro Occhipinti
 
Complete Lab 123456789123456789123456789
Complete Lab 123456789123456789123456789Complete Lab 123456789123456789123456789
Complete Lab 123456789123456789123456789
vickyvikas51556
 
Fed by curiosity and beauty - Remembering Myrsine Zorba
Fed by curiosity and beauty - Remembering Myrsine ZorbaFed by curiosity and beauty - Remembering Myrsine Zorba
Fed by curiosity and beauty - Remembering Myrsine Zorba
mariavlachoupt
 
In Focus_ The Evolution of Boudoir Photography in NYC.pdf
In Focus_ The Evolution of Boudoir Photography in NYC.pdfIn Focus_ The Evolution of Boudoir Photography in NYC.pdf
In Focus_ The Evolution of Boudoir Photography in NYC.pdf
Boudoir Photography by Your Hollywood Portrait
 
A Brief Introduction About Hadj Ounis
A Brief  Introduction  About  Hadj OunisA Brief  Introduction  About  Hadj Ounis
A Brief Introduction About Hadj Ounis
Hadj Ounis
 
Codes n Conventionss copy (2).pptx new new
Codes n Conventionss copy (2).pptx new newCodes n Conventionss copy (2).pptx new new
Codes n Conventionss copy (2).pptx new new
ZackSpencer3
 
Animated Avengers Powerpoint Template_16x9.pptx
Animated Avengers Powerpoint Template_16x9.pptxAnimated Avengers Powerpoint Template_16x9.pptx
Animated Avengers Powerpoint Template_16x9.pptx
StevanTanaga
 
FinalFinalSelf-PortraiturePowerPoint.pptx
FinalFinalSelf-PortraiturePowerPoint.pptxFinalFinalSelf-PortraiturePowerPoint.pptx
FinalFinalSelf-PortraiturePowerPoint.pptx
abbieharman
 
一比一原版(qut毕业证)昆士兰科技大学毕业证如何办理
一比一原版(qut毕业证)昆士兰科技大学毕业证如何办理一比一原版(qut毕业证)昆士兰科技大学毕业证如何办理
一比一原版(qut毕业证)昆士兰科技大学毕业证如何办理
taqyed
 
ART APPRECIATION DISCUSSION LESSON 9.pptx
ART APPRECIATION DISCUSSION  LESSON 9.pptxART APPRECIATION DISCUSSION  LESSON 9.pptx
ART APPRECIATION DISCUSSION LESSON 9.pptx
AlizzaJoyceManuel
 

Recently uploaded (20)

HOW TO USE PINTEREST_by: Clarissa Credito
HOW TO USE PINTEREST_by: Clarissa CreditoHOW TO USE PINTEREST_by: Clarissa Credito
HOW TO USE PINTEREST_by: Clarissa Credito
 
WEEK 11 PART 1- SOULMAKING (ARTMAKING) (1).pdf
WEEK 11 PART 1- SOULMAKING (ARTMAKING) (1).pdfWEEK 11 PART 1- SOULMAKING (ARTMAKING) (1).pdf
WEEK 11 PART 1- SOULMAKING (ARTMAKING) (1).pdf
 
Award template for beginner students of DVBS
Award template for beginner students of DVBSAward template for beginner students of DVBS
Award template for beginner students of DVBS
 
2024 MATFORCE Youth Poster Contest Winners
2024 MATFORCE Youth Poster Contest Winners2024 MATFORCE Youth Poster Contest Winners
2024 MATFORCE Youth Poster Contest Winners
 
Cream and Brown Illustrative Food Journal Presentation.pptx
Cream and Brown Illustrative Food Journal Presentation.pptxCream and Brown Illustrative Food Journal Presentation.pptx
Cream and Brown Illustrative Food Journal Presentation.pptx
 
一比一原版(UniSA毕业证)南澳大学毕业证成绩单如何办理
一比一原版(UniSA毕业证)南澳大学毕业证成绩单如何办理一比一原版(UniSA毕业证)南澳大学毕业证成绩单如何办理
一比一原版(UniSA毕业证)南澳大学毕业证成绩单如何办理
 
Brushstrokes of Inspiration: Four Major Influences in Victor Gilbert’s Artist...
Brushstrokes of Inspiration: Four Major Influences in Victor Gilbert’s Artist...Brushstrokes of Inspiration: Four Major Influences in Victor Gilbert’s Artist...
Brushstrokes of Inspiration: Four Major Influences in Victor Gilbert’s Artist...
 
All the images mentioned in 'See What You're Missing'
All the images mentioned in 'See What You're Missing'All the images mentioned in 'See What You're Missing'
All the images mentioned in 'See What You're Missing'
 
This is a certificate template for Daily Vacation Bible School Awards Can edi...
This is a certificate template for Daily Vacation Bible School Awards Can edi...This is a certificate template for Daily Vacation Bible School Awards Can edi...
This is a certificate template for Daily Vacation Bible School Awards Can edi...
 
Fashionista Chic Couture Mazes and Coloring AdventureA
Fashionista Chic Couture Mazes and Coloring AdventureAFashionista Chic Couture Mazes and Coloring AdventureA
Fashionista Chic Couture Mazes and Coloring AdventureA
 
Dino Ranch Storyboard / Kids TV Advertising
Dino Ranch Storyboard / Kids TV AdvertisingDino Ranch Storyboard / Kids TV Advertising
Dino Ranch Storyboard / Kids TV Advertising
 
Complete Lab 123456789123456789123456789
Complete Lab 123456789123456789123456789Complete Lab 123456789123456789123456789
Complete Lab 123456789123456789123456789
 
Fed by curiosity and beauty - Remembering Myrsine Zorba
Fed by curiosity and beauty - Remembering Myrsine ZorbaFed by curiosity and beauty - Remembering Myrsine Zorba
Fed by curiosity and beauty - Remembering Myrsine Zorba
 
In Focus_ The Evolution of Boudoir Photography in NYC.pdf
In Focus_ The Evolution of Boudoir Photography in NYC.pdfIn Focus_ The Evolution of Boudoir Photography in NYC.pdf
In Focus_ The Evolution of Boudoir Photography in NYC.pdf
 
A Brief Introduction About Hadj Ounis
A Brief  Introduction  About  Hadj OunisA Brief  Introduction  About  Hadj Ounis
A Brief Introduction About Hadj Ounis
 
Codes n Conventionss copy (2).pptx new new
Codes n Conventionss copy (2).pptx new newCodes n Conventionss copy (2).pptx new new
Codes n Conventionss copy (2).pptx new new
 
Animated Avengers Powerpoint Template_16x9.pptx
Animated Avengers Powerpoint Template_16x9.pptxAnimated Avengers Powerpoint Template_16x9.pptx
Animated Avengers Powerpoint Template_16x9.pptx
 
FinalFinalSelf-PortraiturePowerPoint.pptx
FinalFinalSelf-PortraiturePowerPoint.pptxFinalFinalSelf-PortraiturePowerPoint.pptx
FinalFinalSelf-PortraiturePowerPoint.pptx
 
一比一原版(qut毕业证)昆士兰科技大学毕业证如何办理
一比一原版(qut毕业证)昆士兰科技大学毕业证如何办理一比一原版(qut毕业证)昆士兰科技大学毕业证如何办理
一比一原版(qut毕业证)昆士兰科技大学毕业证如何办理
 
ART APPRECIATION DISCUSSION LESSON 9.pptx
ART APPRECIATION DISCUSSION  LESSON 9.pptxART APPRECIATION DISCUSSION  LESSON 9.pptx
ART APPRECIATION DISCUSSION LESSON 9.pptx
 

Set Theory - Unit -II (Mathematical Foundation Of Computer Science).pptx

  • 3. BasicConceptsofSets ● German mathematician G. Cantor introduced the concept of sets. ● Set theory forms the basis of several other fields of study like counting theory, relations, graph theory and finite state machines.
  • 4. Definition : A set is an unordered collection of different elements. A set can be written explicitly by listing its elements using set bracket. If the order of the elements is changed or any element of a set is repeated, it does not make any changes in the set. Example : ● A set of all positive integers ● A set of all the planets in the solar system
  • 5. RepresentationofSets Sets can be represented in two ways − ● Roster or Tabular Form ● Set Builder Notation
  • 6. RosterorTabularForm ● The set is represented by listing all the elements comprising it. ● The elements are enclosed within braces and separated by commas. Example 1 : Set of vowels in English alphabet A={a,e,i,o,u} Example 2 : Set of odd numbers less than 10, B={1,3,5,7,9}
  • 7. SetBuilderNotation The set is defined by specifying a property that elements of the set have in common. The set is described as A={x:p(x)} Example: The set - A={a,e,i,o,u} is written as − A={x:x is a vowel in English alphabet}
  • 8. Important Sets ● N − the set of all natural numbers = {1,2,3,4,.....} ● Z − the set of all integers = {.....,−3,−2,−1,0,1,2,3,.....} ● Z+ − the set of all positive integers ● Q − the set of all rational numbers ● R − the set of all real numbers ● W − the set of all whole numbers
  • 9. CardinalityofaSet Cardinality of a set S, denoted by |S| , is the number of elements of the set. The number is also referred as the cardinal number. If a set has an infinite number of elements, its cardinality is ∞
  • 10. Example |{1,4,3,5}|=4,|{1,2,3,4,5,…}| = ∞ If there are two sets X and Y, ● |X|=|Y| denotes two sets X and Y having same cardinality. It occurs when the number of elements in X is exactly equal to the number of elements in Y. In this case, there exists a bijective function ‘f’ from X to Y. ● |X|≤|Y| denotes that set X’s cardinality is less than or equal to set Y’s cardinality. It occurs when number of elements in X is less than or equal to that of Y. Here, there exists an injective function ‘f’ from X to Y. ● |X|<|Y| denotes that set X’s cardinality is less than set Y’s cardinality. It occurs when number of elements in X is less than that of Y. Here, the function ‘f’ from X to Y is injective function but not bijective. ● If |X|≤|Y| and |X|≥|Y| then |X|=|Y|. The sets X and Y are commonly referred as equivalent sets.
  • 11. Types of Sets ● Finite Set A set which contains a definite number of elements is called a finite set. Example − S={x|x∈N and 70>x>50} ● Infinite Set A set which contains infinite number of elements is called an infinite set. Example − S={x|x∈N and x>10} ● Subset A set X is a subset of set Y (Written as X⊆Y) if every element of X is an element of set Y. Example − Let, X={1,2,3,4,5,6} and Y={1,2}. Here set Y is a subset of set X as all the elements of set Y is in set X. Hence, we can write Y⊆X.
  • 12. ● Proper Subset The term “proper subset” can be defined as “subset of but not equal to”. A Set X is a proper subset of set Y (Written as X⊂Y) if every element of X is an element of set Y and |X|<|Y|. Example − Let, X={1,2,3,4,5,6} and Y={1,2}. Here set Y⊂X since all elements in Y are contained in X too and X has at least one element is more than set Y . ● Universal Set It is a collection of all elements in a particular context or application. All the sets in that context or application are essentially subsets of this universal set. Universal sets are represented as U. Example − We may define U as the set of all animals on earth. In this case, set of all mammals is a subset of U, set of all fishes is a subset of U, set of all insects is a subset of U, and so on. ● Empty Set or Null Set An empty set contains no elements. It is denoted by ∅. As the number of elements in an empty set is finite, empty set is a finite set. The cardinality of empty set or null set is zero. Example − S={x|x∈N and 7<x<8} = ∅
  • 13. ● Singleton Set or Unit Set Singleton set or unit set contains only one element. A singleton set is denoted by {s}. Example - S={x|x∈N, 7<x<9} = {8} ● Equal Set If two sets contain the same elements they are said to be equal. Example − If A={1,2,6} and B={6,1,2}, they are equal as every element of set A is an element of set B and every element of set B is an element of set A. ● Equivalent Set If the cardinalities of two sets are same, they are called equivalent sets. Example − If A={1,2,6} and B={16,17,22}, they are equivalent as cardinality of A is equal to the cardinality of B. i.e. |A|=|B|=3
  • 14. ● Overlapping Set Two sets that have at least one common element are called overlapping sets. In case of overlapping sets − ● n(A∪B)=n(A)+n(B)−n(A∩B) ● n(A∪B)=n(A−B)+n(B−A)+n(A∩B) ● n(A)=n(A−B)+n(A∩B) ● n(B)=n(B−A)+n(A∩B) Example − Let, A={1,2,6} and B={6,12,42}. There is a common element ‘6’, hence these sets are overlapping sets. ● Disjoint Set Two sets A and B are called disjoint sets if they do not have even one element in common. Therefore, disjoint sets have the following properties − ● n(A∩B) = ∅ ● n(A∪B)=n(A)+n(B)
  • 16. The union of sets A and B (denoted by A∪B) is the set of elements which are in A, in B, or in both A and B. Hence, A∪B={x|x∈A OR x∈B}. Example − If A={10,11,12,13} and B = {13,14,15}, then A∪B={10,11,12,13,14,15}. (The common element occurs only once) SetUnion
  • 17. Set Intersection The intersection of sets A and B (denoted by A∩B) is the set of elements which are in both A and B. Hence, A∩B={x|x∈A AND x∈B}. Example − If A={11,12,13} and B={13,14,15}, then A∩B={13}.
  • 18. SetDifference/RelativeComplement The set difference of sets A and B (denoted by A–B) is the set of elements which are only in A but not in B. Hence, A−B={x|x∈A AND x∉B}. Example − If A={10,11,12,13} and B={13,14,15}, then (A−B)={10,11,12} and (B−A)={14,15}. Here, we can see (A−B)≠(B−A)
  • 19. ComplementOfSet The complement of a set A (denoted by A′) is the set of elements which are not in set A. Hence, A′={x|x∉A}. More specifically, A′=(U−A) where U is a universal set which contains all objects. Example − If A={x|x belongs to set of odd integers} then A′={y|y does not belong to set of odd integers}
  • 20. CartesianProduct/CrossProduct The Cartesian product of n number of sets A1,A2,…An denoted as A1×A2⋯×An can be defined as all possible ordered pairs (x1,x2,…xn) where x1∈A1,x2∈A2,…xn∈An Example − If we take two sets A={a,b} and B={1,2}, The Cartesian product of A and B is written as − A×B={(a,1),(a,2),(b,1),(b,2)} The Cartesian product of B and A is written as − B×A={(1,a),(1,b),(2,a),(2,b)}
  • 21. Power Set Power set of a set S is the set of all subsets of S including the empty set. The cardinality of a power set of a set S of cardinality n is 2n. Power set is denoted as P(S). Example − For a set S={a,b,c,d} let us calculate the subsets − ● Subsets with 0 elements − {∅} (the empty set) ● Subsets with 1 element − {a},{b},{c},{d} ● Subsets with 2 elements − {a,b},{a,c},{a,d},{b,c},{b,d},{c,d} ● Subsets with 3 elements − {a,b,c},{a,b,d},{a,c,d},{b,c,d} ● Subsets with 4 elements − {a,b,c,d} Hence, P(S)= {{∅},{a},{b},{c},{d},{a,b},{a,c},{a,d},{b,c},{b,d},{c,d},{a,b,c},{a,b,d},{a,c,d},{b,c,d},{a,b,c,d}} |P(S)|=24=16 Note − The power set of an empty set is also an empty set.
  • 22. Countable and Uncountable Sets ● In mathematics, acountableset is a set with the same cardinality as some subset of the set of natural numbers. A countable set is either a finite set or a countably infinite set. ● In mathematics, anuncountableset is an infinite set that contains too many elements to be countable. The uncountability of a set is closely related to its cardinal number: a set is uncountable if its cardinal number is larger than that of the set of all natural numbers.
  • 24. Definition ● A relation between two sets is a collection of ordered pairs containing one object from each set. If the object xx is from the first set and the object yy is from the second set, then the objects are said to be related if the ordered pair (x,y)(x,y) is in the relation. ● A function is a type of relation. But, a relation is allowed to have the object xx in the first set to be related to more than one object in the second set. So a relation may not be represented by a function machine, because, given the object xx to the input of the machine, the machine couldn't spit out a unique output object that is paired to xx. ● In other words, the relation between the two sets is defined as the collection of the ordered pair, in which the ordered pair is formed by the object from each set. Example: {(-2, 1), (4, 3), (7, -3)}, usually written in set notation form with curly brackets.
  • 25. Types of Relations 1. EmptyRelation: A relation R on a set A is called Empty if the set A is empty set. 2. FullRelation:A binary relation R on a set A and B is called full if AXB. 3. ReflexiveRelation:A relation R on a set A is called reflexive if (a,a) € R holds for every element a € A .i.e. if set A = {a,b} then R = {(a,a), (b,b)} is reflexive relation. 4. Irreflexiverelation: A relation R on a set A is called reflexive if no (a,a) € R holds for every element a € A.i.e. if set A = {a,b} then R = {(a,b), (b,a)} is irreflexive relation. 5. SymmetricRelation: A relation R on a set A is called symmetric if (b,a) € R holds when (a,b) € R.i.e. The relation R={(4,5),(5,4),(6,5),(5,6)} on set A={4,5,6} is symmetric.
  • 26. 6. AntiSymmetric Relation: A relation R on a set A is called antisymmetric if (a,b)€ R and (b,a) € R then a = b is called antisymmetric.i.e. The relation R = {(a,b)→ R|a ≤ b} is anti-symmetric since a ≤ b and b ≤ a implies a = b. 7. Transitive Relation: A relation R on a set A is called transitive if (a,b) € R and (b,c) € R then (a,c) € R for all a,b,c € A.i.e. Relation R={(1,2),(2,3),(1,3)} on set A={1,2,3} is transitive. 8. Equivalence Relation: A relation is an Equivalence Relation if it is reflexive, symmetric, and transitive. i.e. relation R={(1,1),(2,2),(3,3),(1,2),(2,1),(2,3),(3,2),(1,3),(3,1)} on set A={1,2,3} is equivalence relation as it is reflexive, symmetric, and transitive. 9. Asymmetricrelation: Asymmetric relation is opposite of symmetric relation. A relation R on a set A is called asymmetric if no (b,a) € R when (a,b) € R.
  • 27. Extra notes for Relation With Examples
  • 28. ● Relation: It is a subset of the Cartesian product. Or simply, a bunch of points(ordered pairs). In other words, the relation between the two sets is defined as the collection of the ordered pair, in which the ordered pair is formed by the object from each set. Example: {(-2, 1), (4, 3), (7, -3)}, usually written in set notation form with curly brackets. ● Relation Representation There are other ways too to write the relation, apart from set notation such as through tables, plotting it on XY- axis or through mapping diagram.
  • 29.  Types of Relations  Empty Relations  Universal Relations  Identity Relations  Inverse Relations  Reflexive Relations  Symmetric Relations  Transitive Relations Let us discuss all the types one by one. Empty Relation When there’s no element of set X is related or mapped to any element of X, then the relation R in A is an empty relation, and also called the void relation. I.e R= ∅. For example, if there are 100 mangoes in the fruit basket. There’s no possibility of finding a relation R of getting any apple in the basket. So, R is Void as it has 100 mangoes and no apples.
  • 30. Universal relation R is a relation in a set, let’s say A is a universal relation because, in this full relation, every element of A is related to every element of A. i.e R = A × A. It’s a full relation as every element of Set A is in Set B. Identity Relation If every element of set A is related to itself only, it is called Identity relation. I={(A, A), ∈ a}. For Example, When we throw a dice, the total number of possible outcomes is 36. I.e (1, 1) (1, 2), (1, 3)…..(6, 6). From these, if we consider the relation(1, 1), (2, 2), (3, 3) (4, 4) (5, 5) (6, 6), it is an identity relation. Inverse Relation If R is a relation from set A to set B i.e R ∈ A X B. The relation R−1 = {(b,a):(a,b) ∈ R}.
  • 31. For Example, If you throw two dice if R = {(1, 2) (2, 3)}, R−1= {(2, 1) (3, 2)}. Here the domain is the range R−1 and vice versa. ● Reflexive Relation A relation is a reflexive relation If every element of set A maps to itself. I.e for every a ∈ A, (a, a) ∈ R. Symmetric Relation A symmetric relation is a relation R on a set A if (a, b) ∈ R then (b, a) ∈ R, for all a & b ∈ A. Transitive Relation If (a, b) ∈ R, (b, c) ∈ R, then (a, c) ∈ R, for all a,b,c ∈ A and this relation in set A is transitive.
  • 32. ● Equivalence Relation If a relation is reflexive, symmetric and transitive, then the relation is called an equivalence relation.
  • 35.
  • 36.
  • 37. Consider this example, If A = {1, 2, 3} and B = {3, 1, 6} Then A x B = { (1,3) , (1,1) , (1,6) , (2,3) , (2,1) , (2,6) , (3,3) , (3,1) , (3,6) } ● Symmetric Relation : R = { (1,3) , (3,1) , (1,1) , (3,3) } ● Anti - symmetric Relation : R = { (1,1) , (1,6) , (2,3) , (2,1) , (3,3) , (3,6) } ● Asymmetric Relation : R = { (1,6) , (2,3) , (2,1) , (3,6) }
  • 38. Symmetric Relation : A relation is symmetric if for all x,y ∈ X, (x,y) ∈ R ⇒ (y,x) ∈ R Asymmetric Relation : A relation is asymmetric if for all x,y ∈ X, (x,y) ∈ R ⇒ (y,x) ∉ R (1,3) (1,1) (1,6) (2,3) (2,1) (2,6) (3,3) (3,1) (3,6) (1,3) (1,1) (1,6) (2,3) (2,1) (2,6) (3,3) (3,1) (3,6)
  • 39. Antisymmetric Relation : A relation is antisymmetric if: ● For all x,y ∈ X [(x,y) ∈ R and (y,x) ∈ R] ⇒ x = y ● For all x,y ∈ X [(x,y) ∈ R and x ≠ y] ⇒ (y,x) ∉ R (1,3) (1,1) (1,6) (2,3) (2,1) (2,6) (3,3) (3,1) (3,6)