SlideShare a Scribd company logo
1 of 32
Download to read offline
Relations & Digraphs
Product Sets
Definition: An ordered pair ๐‘Ž๐‘Ž, ๐‘๐‘ is a listing of the
objects/items ๐‘Ž๐‘Ž and ๐‘๐‘ in a prescribed order: ๐‘Ž๐‘Ž is the first
and ๐‘๐‘ is the second. (a sequence of length 2)
Definition: The ordered pairs ๐‘Ž๐‘Ž1, ๐‘๐‘1 and ๐‘Ž๐‘Ž2, ๐‘๐‘2 are
equal iff ๐‘Ž๐‘Ž1 = ๐‘Ž๐‘Ž2 and ๐‘๐‘1 = ๐‘๐‘2.
Definition: If ๐ด๐ด and ๐ต๐ต are two nonempty sets, we define
the product set or Cartesian product ๐ด๐ด ร— ๐ต๐ต as the set of
all ordered pairs ๐‘Ž๐‘Ž, ๐‘๐‘ with ๐‘Ž๐‘Ž โˆˆ ๐ด๐ด and ๐‘๐‘ โˆˆ ๐ต๐ต:
๐ด๐ด ร— ๐ต๐ต = ๐‘Ž๐‘Ž, ๐‘๐‘ ๐‘Ž๐‘Ž โˆˆ ๐ด๐ด and ๐‘๐‘ โˆˆ ๐ต๐ต}
ยฉ S. Turaev, CSC 1700 Discrete Mathematics 2
Product Sets
Example: Let ๐ด๐ด = 1,2,3 and ๐ต๐ต = ๐‘Ÿ๐‘Ÿ, ๐‘ ๐‘  , then
๐ด๐ด ร— ๐ต๐ต =
๐ต๐ต ร— ๐ด๐ด =
ยฉ S. Turaev, CSC 1700 Discrete Mathematics 3
Product Sets
Theorem: For any two finite sets ๐ด๐ด and ๐ต๐ต,
๐ด๐ด ร— ๐ต๐ต = ๐ด๐ด โ‹… ๐ต๐ต .
Proof: Use multiplication principle!
ยฉ S. Turaev, CSC 1700 Discrete Mathematics 4
Definitions:
๏‚ง Let ๐ด๐ด and ๐ต๐ต be nonempty sets. A relation ๐‘…๐‘… from ๐ด๐ด
to ๐ต๐ต is a subset of ๐ด๐ด ร— ๐ต๐ต.
๏‚ง If ๐‘…๐‘… โŠ† ๐ด๐ด ร— ๐ต๐ต and ๐‘Ž๐‘Ž, ๐‘๐‘ โˆˆ ๐‘…๐‘…, we say that ๐‘Ž๐‘Ž is related
to ๐‘๐‘ by ๐‘…๐‘…, and we write ๐‘Ž๐‘Ž ๐‘…๐‘… ๐‘๐‘.
๏‚ง If ๐‘Ž๐‘Ž is not related to ๐‘๐‘ by ๐‘…๐‘…, we write ๐‘Ž๐‘Ž ๐‘…๐‘… ๐‘๐‘.
๏‚ง If ๐‘…๐‘… โŠ† ๐ด๐ด ร— ๐ด๐ด, we say ๐‘…๐‘… is a relation on ๐ด๐ด.
Relations & Digraphs
ยฉ S. Turaev, CSC 1700 Discrete Mathematics 5
Example 1: Let ๐ด๐ด = 1,2,3 and ๐ต๐ต = ๐‘Ÿ๐‘Ÿ, ๐‘ ๐‘  . Then
๐‘…๐‘… = 1, ๐‘Ÿ๐‘Ÿ , 2, ๐‘ ๐‘  , 3, ๐‘Ÿ๐‘Ÿ โŠ† ๐ด๐ด ร— ๐ต๐ต
is a relation from ๐ด๐ด to ๐ต๐ต.
Example 2: Let ๐ด๐ด and ๐ต๐ต are sets of positive integer
numbers. We define the relation ๐‘…๐‘… โŠ† ๐ด๐ด ร— ๐ต๐ต by
๐‘Ž๐‘Ž ๐‘…๐‘… ๐‘๐‘ โ‡” ๐‘Ž๐‘Ž = ๐‘๐‘
Relations & Digraphs
ยฉ S. Turaev, CSC 1700 Discrete Mathematics 6
Example 3: Let ๐ด๐ด = 1,2,3,4,5 . The relation ๐‘…๐‘… โŠ† ๐ด๐ด ร— ๐ด๐ด is
defined by
๐‘Ž๐‘Ž ๐‘…๐‘… ๐‘๐‘ โ‡” ๐‘Ž๐‘Ž < ๐‘๐‘
Then ๐‘…๐‘… =
Example 4: Let ๐ด๐ด = 1,2,3,4,5,6,7,8,9,10 . The relation
๐‘…๐‘… โŠ† ๐ด๐ด ร— ๐ด๐ด is defined by
๐‘Ž๐‘Ž ๐‘…๐‘… ๐‘๐‘ โ‡” ๐‘Ž๐‘Ž|๐‘๐‘
Then ๐‘…๐‘… =
Relations & Digraphs
ยฉ S. Turaev, CSC 1700 Discrete Mathematics 7
Definition: Let ๐‘…๐‘… โŠ† ๐ด๐ด ร— ๐ต๐ต be a relation from ๐ด๐ด to ๐ต๐ต.
๏‚ง The domain of ๐‘…๐‘…, denoted by Dom ๐‘…๐‘… , is the set of
elements in ๐ด๐ด that are related to some element in
๐ต๐ต.
๏‚ง The range of ๐‘…๐‘…, denoted by Ran ๐‘…๐‘… , is the set of
elements in ๐ต๐ต that are second elements of pairs in
๐‘…๐‘….
Relations & Digraphs
ยฉ S. Turaev, CSC 1700 Discrete Mathematics 8
Relations & Digraphs
Example 5: Let ๐ด๐ด = 1,2,3 and ๐ต๐ต = ๐‘Ÿ๐‘Ÿ, ๐‘ ๐‘  .
๐‘…๐‘… = 1, ๐‘Ÿ๐‘Ÿ , 2, ๐‘ ๐‘  , 3, ๐‘Ÿ๐‘Ÿ
Dom R =
Ran R =
Example 6: Let ๐ด๐ด = 1,2,3,4,5 . The relation ๐‘…๐‘… โŠ† ๐ด๐ด ร— ๐ด๐ด is
defined by ๐‘Ž๐‘Ž ๐‘…๐‘… ๐‘๐‘ โ‡” ๐‘Ž๐‘Ž < ๐‘๐‘
Dom R =
Ran R =
ยฉ S. Turaev, CSC 1700 Discrete Mathematics 9
The Matrix of a Relation
Definition: Let ๐ด๐ด = ๐‘Ž๐‘Ž1, ๐‘Ž๐‘Ž2, โ€ฆ , ๐‘Ž๐‘Ž ๐‘š๐‘š , ๐ต๐ต = ๐‘๐‘1, ๐‘๐‘2, โ€ฆ , ๐‘๐‘๐‘›๐‘›
and ๐‘…๐‘… โŠ† ๐ด๐ด ร— ๐ต๐ต be a relation. We represent ๐‘…๐‘… by the ๐‘š๐‘š ร—
๐‘›๐‘› matrix ๐Œ๐Œ๐‘…๐‘… = [๐‘š๐‘š๐‘–๐‘–๐‘–๐‘–], which is defined by
๐‘š๐‘š๐‘–๐‘–๐‘–๐‘– = ๏ฟฝ
1, ๐‘Ž๐‘Ž๐‘–๐‘–, ๐‘๐‘๐‘—๐‘— โˆˆ ๐‘…๐‘…
0, ๐‘Ž๐‘Ž๐‘–๐‘–, ๐‘๐‘๐‘—๐‘— โˆ‰ ๐‘…๐‘…
The matrix ๐Œ๐Œ๐‘…๐‘… is called the matrix of ๐‘…๐‘….
Example: Let ๐ด๐ด = 1,2,3 and ๐ต๐ต = ๐‘Ÿ๐‘Ÿ, ๐‘ ๐‘  .
๐‘…๐‘… = 1, ๐‘Ÿ๐‘Ÿ , 2, ๐‘ ๐‘  , 3, ๐‘Ÿ๐‘Ÿ ๐Œ๐Œ๐‘…๐‘… =
ยฉ S. Turaev, CSC 1700 Discrete Mathematics 10
The Digraph of a Relation
Definition: If ๐ด๐ด is finite and ๐‘…๐‘… โŠ† ๐ด๐ด ร— ๐ด๐ด is a relation. We
represent ๐‘…๐‘… pictorially as follows:
๏‚ง Draw a small circle, called a vertex/node, for each
element of ๐ด๐ด and label the circle with the
corresponding element of ๐ด๐ด.
๏‚ง Draw an arrow, called an edge, from vertex ๐‘Ž๐‘Ž๐‘–๐‘– to
vertex ๐‘Ž๐‘Ž๐‘—๐‘— iff ๐‘Ž๐‘Ž๐‘–๐‘– ๐‘…๐‘… ๐‘Ž๐‘Ž๐‘—๐‘—.
The resulting pictorial representation of ๐‘…๐‘… is called a
directed graph or digraph of ๐‘…๐‘….
ยฉ S. Turaev, CSC 1700 Discrete Mathematics 11
The Digraph of a Relation
Example: Let ๐ด๐ด = 1, 2, 3, 4 and
๐‘…๐‘… = 1,1 , 1,2 , 2,1 , 2,2 , 2,3 , 2,4 , 3,4 , 4,1
The digraph of ๐‘…๐‘…:
Example: Let ๐ด๐ด = 1, 2, 3, 4 and
Find the relation ๐‘…๐‘…:
ยฉ S. Turaev, CSC 1700 Discrete Mathematics
1
2
3
4
12
The Digraph of a Relation
Definition: If ๐‘…๐‘… is a relation on a set ๐ด๐ด and ๐‘Ž๐‘Ž โˆˆ ๐ด๐ด, then
๏‚ง the in-degree of ๐‘Ž๐‘Ž is the number of ๐‘๐‘ โˆˆ ๐ด๐ด such that
๐‘๐‘, ๐‘Ž๐‘Ž โˆˆ ๐‘…๐‘…;
๏‚ง the out-degree of ๐‘Ž๐‘Ž is the number of ๐‘๐‘ โˆˆ ๐ด๐ด such
that ๐‘Ž๐‘Ž, ๐‘๐‘ โˆˆ ๐‘…๐‘….
Example: Consider the digraph:
List in-degrees and out-degrees of all vertices.
ยฉ S. Turaev, CSC 1700 Discrete Mathematics
1
2
3
4
13
The Digraph of a Relation
Example: Let ๐ด๐ด = ๐‘Ž๐‘Ž, ๐‘๐‘, ๐‘๐‘, ๐‘‘๐‘‘ and let ๐‘…๐‘… be the relation on
๐ด๐ด that has the matrix
๐Œ๐Œ๐‘…๐‘… =
1 0
0 1
0 0
0 0
1 1
0 1
1 0
0 1
Construct the digraph of ๐‘…๐‘… and list in-degrees and out-
degrees of all vertices.
ยฉ S. Turaev, CSC 1700 Discrete Mathematics 14
The Digraph of a Relation
Example: Let ๐ด๐ด = 1,4,5 and let ๐‘…๐‘… be given the digraph
Find ๐Œ๐Œ๐‘…๐‘… and ๐‘…๐‘….
ยฉ S. Turaev, CSC 1700 Discrete Mathematics
1 4
5
15
Paths in Relations & Digraphs
Definition: Suppose that ๐‘…๐‘… is a relation on a set ๐ด๐ด.
A path of length ๐‘›๐‘› in ๐‘…๐‘… from ๐‘Ž๐‘Ž to ๐‘๐‘ is a finite sequence
๐œ‹๐œ‹ โˆถ ๐‘Ž๐‘Ž, ๐‘ฅ๐‘ฅ1, ๐‘ฅ๐‘ฅ2, โ€ฆ , ๐‘ฅ๐‘ฅ๐‘›๐‘›โˆ’1, ๐‘๐‘
beginning with ๐‘Ž๐‘Ž and ending with ๐‘๐‘, such that
๐‘Ž๐‘Ž ๐‘…๐‘… ๐‘ฅ๐‘ฅ1, ๐‘ฅ๐‘ฅ1 ๐‘…๐‘… ๐‘ฅ๐‘ฅ2, โ€ฆ , ๐‘ฅ๐‘ฅ๐‘›๐‘›โˆ’1 ๐‘…๐‘… ๐‘๐‘.
Definition: A path that begins and ends at the same
vertex is called a cycle:
๐œ‹๐œ‹ โˆถ ๐‘Ž๐‘Ž, ๐‘ฅ๐‘ฅ1, ๐‘ฅ๐‘ฅ2, โ€ฆ , ๐‘ฅ๐‘ฅ๐‘›๐‘›โˆ’1, ๐‘Ž๐‘Ž
ยฉ S. Turaev, CSC 1700 Discrete Mathematics 16
Paths in Relations & Digraphs
Example: Give the examples for paths of length 1,2,3,4
and 5.
ยฉ S. Turaev, CSC 1700 Discrete Mathematics
1 2
43
5
17
Paths in Relations & Digraphs
Definition: If ๐‘›๐‘› is a fixed number, we define a relation ๐‘…๐‘… ๐‘›๐‘›
as follows: ๐‘ฅ๐‘ฅ ๐‘…๐‘…๐‘›๐‘›
๐‘ฆ๐‘ฆ means that there is a path of length ๐‘›๐‘›
from ๐‘ฅ๐‘ฅ to ๐‘ฆ๐‘ฆ.
Definition: We define a relation ๐‘…๐‘…โˆž
(connectivity relation
for ๐‘…๐‘…) on ๐ด๐ด by letting ๐‘ฅ๐‘ฅ ๐‘…๐‘…โˆž
๐‘ฆ๐‘ฆ mean that there is some
path from ๐‘ฅ๐‘ฅ to ๐‘ฆ๐‘ฆ.
Example: Let ๐ด๐ด = ๐‘Ž๐‘Ž, ๐‘๐‘, ๐‘๐‘, ๐‘‘๐‘‘, ๐‘’๐‘’ and
๐‘…๐‘… = ๐‘Ž๐‘Ž, ๐‘Ž๐‘Ž , ๐‘Ž๐‘Ž, ๐‘๐‘ , ๐‘๐‘, ๐‘๐‘ , ๐‘๐‘, ๐‘’๐‘’ , ๐‘๐‘, ๐‘‘๐‘‘ , ๐‘‘๐‘‘, ๐‘’๐‘’ .
Compute (a) ๐‘…๐‘…2
; (b) ๐‘…๐‘…3
; (c) ๐‘…๐‘…โˆž
.
ยฉ S. Turaev, CSC 1700 Discrete Mathematics 18
Paths in Relations & Digraphs
Let ๐‘…๐‘… be a relation on a finite set ๐ด๐ด = ๐‘Ž๐‘Ž1, ๐‘Ž๐‘Ž2, โ€ฆ , ๐‘Ž๐‘Ž๐‘›๐‘› , and
let ๐Œ๐Œ๐‘…๐‘… be the ๐‘›๐‘› ร— ๐‘›๐‘› matrix representing ๐‘…๐‘….
Theorem 1: If ๐‘…๐‘… is a relation on ๐ด๐ด = ๐‘Ž๐‘Ž1, ๐‘Ž๐‘Ž2, โ€ฆ , ๐‘Ž๐‘Ž๐‘›๐‘› , then
๐Œ๐Œ๐‘…๐‘…2 = ๐Œ๐Œ๐‘…๐‘… โŠ™ ๐Œ๐Œ๐‘…๐‘….
Example: Let ๐ด๐ด = ๐‘Ž๐‘Ž, ๐‘๐‘, ๐‘๐‘, ๐‘‘๐‘‘, ๐‘’๐‘’ and
๐‘…๐‘… = ๐‘Ž๐‘Ž, ๐‘Ž๐‘Ž , ๐‘Ž๐‘Ž, ๐‘๐‘ , ๐‘๐‘, ๐‘๐‘ , ๐‘๐‘, ๐‘’๐‘’ , ๐‘๐‘, ๐‘‘๐‘‘ , ๐‘‘๐‘‘, ๐‘’๐‘’ .
ยฉ S. Turaev, CSC 1700 Discrete Mathematics 19
Paths in Relations & Digraphs
Example: Let ๐ด๐ด = ๐‘Ž๐‘Ž, ๐‘๐‘, ๐‘๐‘, ๐‘‘๐‘‘, ๐‘’๐‘’ and
๐‘…๐‘… = ๐‘Ž๐‘Ž, ๐‘Ž๐‘Ž , ๐‘Ž๐‘Ž, ๐‘๐‘ , ๐‘๐‘, ๐‘๐‘ , ๐‘๐‘, ๐‘’๐‘’ , ๐‘๐‘, ๐‘‘๐‘‘ , ๐‘‘๐‘‘, ๐‘’๐‘’ .
๐Œ๐Œ๐‘…๐‘… =
1 1
0 0
0 0
1 0
0
0
0
0
0
0
0
0
0
0
0
1
0
0
1
1
0
Compute ๐Œ๐Œ๐‘…๐‘…2.
ยฉ S. Turaev, CSC 1700 Discrete Mathematics 20
Reflexive & Irreflexive Relations
Definition:
๏‚ง A relation ๐‘…๐‘… on a set ๐ด๐ด is reflexive if ๐‘Ž๐‘Ž, ๐‘Ž๐‘Ž โˆˆ ๐‘…๐‘… for
all ๐‘Ž๐‘Ž โˆˆ ๐ด๐ด, i.e., if ๐‘Ž๐‘Ž ๐‘…๐‘… ๐‘Ž๐‘Ž for all ๐‘Ž๐‘Ž โˆˆ ๐ด๐ด.
๏‚ง A relation ๐‘…๐‘… on a set ๐ด๐ด is irreflexive if ๐‘Ž๐‘Ž ๐‘…๐‘… ๐‘Ž๐‘Ž for all
๐‘Ž๐‘Ž โˆˆ ๐ด๐ด.
Example:
๏‚ง ฮ” = ๐‘Ž๐‘Ž, ๐‘Ž๐‘Ž | ๐‘Ž๐‘Ž โˆˆ ๐ด๐ด , the relation of equality on the
set ๐ด๐ด.
๏‚ง ๐‘…๐‘… = ๐‘Ž๐‘Ž, ๐‘๐‘ โˆˆ ๐ด๐ด ร— ๐ด๐ด| ๐‘Ž๐‘Ž โ‰  ๐‘๐‘ , the relation of
inequality on the set ๐ด๐ด.
ยฉ S. Turaev, CSC 1700 Discrete Mathematics 21
Reflexive & Irreflexive Relations
Exercise: Let ๐ด๐ด = 1, 2, 3 , and let ๐‘…๐‘… = 1,1 , 1,2 .
Is ๐‘…๐‘… reflexive or irreflexive?
Exercise: How is a reflexive or irreflexive relation
identified by its matrix?
Exercise: How is a reflexive or irreflexive relation
characterized by the digraph?
ยฉ S. Turaev, CSC 1700 Discrete Mathematics 22
(A-, Anti-) Symmetric Relations
Definition:
๏‚ง A relation ๐‘…๐‘… on a set ๐ด๐ด is symmetric if whenever
๐‘Ž๐‘Ž ๐‘…๐‘… ๐‘๐‘, then ๐‘๐‘ ๐‘…๐‘… ๐‘Ž๐‘Ž.
๏‚ง A relation ๐‘…๐‘… on a set ๐ด๐ด is asymmetric if whenever
๐‘Ž๐‘Ž ๐‘…๐‘… ๐‘๐‘, then ๐‘๐‘ ๐‘…๐‘… ๐‘Ž๐‘Ž.
๏‚ง A relation ๐‘…๐‘… on a set ๐ด๐ด is antisymmetric if whenever
๐‘Ž๐‘Ž ๐‘…๐‘… ๐‘๐‘ and ๐‘๐‘ ๐‘…๐‘… ๐‘Ž๐‘Ž, then ๐‘Ž๐‘Ž = ๐‘๐‘.
ยฉ S. Turaev, CSC 1700 Discrete Mathematics 23
(A-, Anti-) Symmetric Relations
Example: Let ๐ด๐ด = 1, 2, 3, 4, 5, 6 and let
๐‘…๐‘… = ๐‘Ž๐‘Ž, ๐‘๐‘ โˆˆ ๐ด๐ด ร— ๐ด๐ด | ๐‘Ž๐‘Ž < ๐‘๐‘
Is ๐‘…๐‘… symmetric, asymmetric or antisymmetric?
๏‚ง Symmetry:
๏‚ง Asymmetry:
๏‚ง Antisymmetry:
ยฉ S. Turaev, CSC 1700 Discrete Mathematics 24
(A-, Anti-) Symmetric Relations
Example: Let ๐ด๐ด = 1, 2, 3, 4 and let
๐‘…๐‘… = 1,2 , 2,2 , 3,4 , 4,1
Is ๐‘…๐‘… symmetric, asymmetric or antisymmetric?
Example: Let ๐ด๐ด = โ„ค+
and let
๐‘…๐‘… = ๐‘Ž๐‘Ž, ๐‘๐‘ โˆˆ ๐ด๐ด ร— ๐ด๐ด | ๐‘Ž๐‘Ž divides ๐‘๐‘
Is ๐‘…๐‘… symmetric, asymmetric or antisymmetric?
ยฉ S. Turaev, CSC 1700 Discrete Mathematics 25
(A-, Anti-) Symmetric Relations
Exercise: How is a symmetric, asymmetric or
antisymmetric relation identified by its matrix?
Exercise: How is a symmetric, asymmetric or
antisymmetric relation characterized by the digraph?
ยฉ S. Turaev, CSC 1700 Discrete Mathematics 26
Transitive Relations
Definition: A relation ๐‘…๐‘… on a set ๐ด๐ด is transitive if
whenever ๐‘Ž๐‘Ž ๐‘…๐‘… ๐‘๐‘ and ๐‘๐‘ ๐‘…๐‘… ๐‘๐‘ then ๐‘Ž๐‘Ž ๐‘…๐‘… ๐‘๐‘.
Example: Let ๐ด๐ด = 1, 2, 3, 4 and let
๐‘…๐‘… = 1,2 , 1,3 , 4,2
Is ๐‘…๐‘… transitive?
Example: Let ๐ด๐ด = โ„ค+
and let
๐‘…๐‘… = ๐‘Ž๐‘Ž, ๐‘๐‘ โˆˆ ๐ด๐ด ร— ๐ด๐ด | ๐‘Ž๐‘Ž divides ๐‘๐‘
Is ๐‘…๐‘… transitive?
ยฉ S. Turaev, CSC 1700 Discrete Mathematics 27
Transitive Relations
Exercise: Let ๐ด๐ด = 1,2,3 and ๐‘…๐‘… be the relation on ๐ด๐ด
whose matrix is
๐Œ๐Œ๐‘…๐‘… =
1 1 1
0 0 1
0 0 1
Show that ๐‘…๐‘… is transitive. (Hint: Check if ๐Œ๐Œ๐‘…๐‘… โŠ™
2
= ๐Œ๐Œ๐‘…๐‘…)
Exercise: How is a transitive relation identified by its
matrix?
Exercise: How is a transitive relation characterized by the
digraph?
ยฉ S. Turaev, CSC 1700 Discrete Mathematics 28
Equivalence Relations
Definition: A relation ๐‘…๐‘… on a set ๐ด๐ด is called an equi-
valence relation if it is reflexive, symmetric and transitive.
Example: Let ๐ด๐ด = 1, 2, 3, 4 and let
๐‘…๐‘… = 1,1 , 1,2 , 2,1 , 2,2 , 3,4 , 4,3 , 3,3 , 4,4 .
Then ๐‘…๐‘… is an equivalence relation.
Example: Let ๐ด๐ด = โ„ค and let
๐‘…๐‘… = ๐‘Ž๐‘Ž, ๐‘๐‘ โˆˆ ๐ด๐ด ร— ๐ด๐ด โˆถ ๐‘Ž๐‘Ž โ‰ก ๐‘๐‘ mod 2 .
Show that ๐‘…๐‘… is an equivalence relation.
ยฉ S. Turaev, CSC 1700 Discrete Mathematics 29
Exercises : Relations
ยฉ S. Turaev, CSC 1700 Discrete Mathematics 30
Exercises : Relations
ยฉ S. Turaev, CSC 1700 Discrete Mathematics 31
Exercises : Relations
ยฉ S. Turaev, CSC 1700 Discrete Mathematics 32

More Related Content

What's hot

EULER AND FERMAT THEOREM
EULER AND FERMAT THEOREMEULER AND FERMAT THEOREM
EULER AND FERMAT THEOREMankita pandey
ย 
Fuzzy logic
Fuzzy logicFuzzy logic
Fuzzy logicAshwini Yadav
ย 
The principle of inclusion and exclusion for three sets by sharvari
The principle of inclusion and exclusion for three sets by sharvariThe principle of inclusion and exclusion for three sets by sharvari
The principle of inclusion and exclusion for three sets by sharvariDeogiri College Student
ย 
REAL ANALYSIS -UNIT I Basic Concepts.pptx
REAL ANALYSIS -UNIT I Basic Concepts.pptxREAL ANALYSIS -UNIT I Basic Concepts.pptx
REAL ANALYSIS -UNIT I Basic Concepts.pptxrenugakannan1
ย 
CMSC 56 | Lecture 13: Relations and their Properties
CMSC 56 | Lecture 13: Relations and their PropertiesCMSC 56 | Lecture 13: Relations and their Properties
CMSC 56 | Lecture 13: Relations and their Propertiesallyn joy calcaben
ย 
Formal Languages and Automata Theory Unit 1
Formal Languages and Automata Theory Unit 1Formal Languages and Automata Theory Unit 1
Formal Languages and Automata Theory Unit 1Srimatre K
ย 
Types of RELATIONS
Types of RELATIONSTypes of RELATIONS
Types of RELATIONSJanak Singh saud
ย 
Section 11: Normal Subgroups
Section 11: Normal SubgroupsSection 11: Normal Subgroups
Section 11: Normal SubgroupsKevin Johnson
ย 
Predicates and Quantifiers
Predicates and QuantifiersPredicates and Quantifiers
Predicates and Quantifiersblaircomp2003
ย 
Discrete mathematic
Discrete mathematicDiscrete mathematic
Discrete mathematicNaralaswapna
ย 
Sequences And Series
Sequences And SeriesSequences And Series
Sequences And Seriesgoestoinfinity
ย 
Discrete Structures. Lecture 1
 Discrete Structures. Lecture 1  Discrete Structures. Lecture 1
Discrete Structures. Lecture 1 Ali Usman
ย 
Algorithms Lecture 6: Searching Algorithms
Algorithms Lecture 6: Searching AlgorithmsAlgorithms Lecture 6: Searching Algorithms
Algorithms Lecture 6: Searching AlgorithmsMohamed Loey
ย 
Group homomorphism
Group homomorphismGroup homomorphism
Group homomorphismNaliniSPatil
ย 
Applications of linear algebra
Applications of linear algebraApplications of linear algebra
Applications of linear algebraPrerak Trivedi
ย 
Fuzzy Set
Fuzzy SetFuzzy Set
Fuzzy SetEhsan Hamzei
ย 
Graph theory presentation
Graph theory presentationGraph theory presentation
Graph theory presentationAliul Kadir Akib
ย 
Recursion tree method
Recursion tree methodRecursion tree method
Recursion tree methodRajendran
ย 

What's hot (20)

EULER AND FERMAT THEOREM
EULER AND FERMAT THEOREMEULER AND FERMAT THEOREM
EULER AND FERMAT THEOREM
ย 
Graphs - Discrete Math
Graphs - Discrete MathGraphs - Discrete Math
Graphs - Discrete Math
ย 
Fuzzy logic
Fuzzy logicFuzzy logic
Fuzzy logic
ย 
The principle of inclusion and exclusion for three sets by sharvari
The principle of inclusion and exclusion for three sets by sharvariThe principle of inclusion and exclusion for three sets by sharvari
The principle of inclusion and exclusion for three sets by sharvari
ย 
REAL ANALYSIS -UNIT I Basic Concepts.pptx
REAL ANALYSIS -UNIT I Basic Concepts.pptxREAL ANALYSIS -UNIT I Basic Concepts.pptx
REAL ANALYSIS -UNIT I Basic Concepts.pptx
ย 
CMSC 56 | Lecture 13: Relations and their Properties
CMSC 56 | Lecture 13: Relations and their PropertiesCMSC 56 | Lecture 13: Relations and their Properties
CMSC 56 | Lecture 13: Relations and their Properties
ย 
Differential calculus
Differential calculusDifferential calculus
Differential calculus
ย 
Formal Languages and Automata Theory Unit 1
Formal Languages and Automata Theory Unit 1Formal Languages and Automata Theory Unit 1
Formal Languages and Automata Theory Unit 1
ย 
Types of RELATIONS
Types of RELATIONSTypes of RELATIONS
Types of RELATIONS
ย 
Section 11: Normal Subgroups
Section 11: Normal SubgroupsSection 11: Normal Subgroups
Section 11: Normal Subgroups
ย 
Predicates and Quantifiers
Predicates and QuantifiersPredicates and Quantifiers
Predicates and Quantifiers
ย 
Discrete mathematic
Discrete mathematicDiscrete mathematic
Discrete mathematic
ย 
Sequences And Series
Sequences And SeriesSequences And Series
Sequences And Series
ย 
Discrete Structures. Lecture 1
 Discrete Structures. Lecture 1  Discrete Structures. Lecture 1
Discrete Structures. Lecture 1
ย 
Algorithms Lecture 6: Searching Algorithms
Algorithms Lecture 6: Searching AlgorithmsAlgorithms Lecture 6: Searching Algorithms
Algorithms Lecture 6: Searching Algorithms
ย 
Group homomorphism
Group homomorphismGroup homomorphism
Group homomorphism
ย 
Applications of linear algebra
Applications of linear algebraApplications of linear algebra
Applications of linear algebra
ย 
Fuzzy Set
Fuzzy SetFuzzy Set
Fuzzy Set
ย 
Graph theory presentation
Graph theory presentationGraph theory presentation
Graph theory presentation
ย 
Recursion tree method
Recursion tree methodRecursion tree method
Recursion tree method
ย 

Similar to Relations digraphs

Integers and matrices (slides)
Integers and matrices (slides)Integers and matrices (slides)
Integers and matrices (slides)IIUM
ย 
Recurrence relations
Recurrence relationsRecurrence relations
Recurrence relationsIIUM
ย 
Logic (slides)
Logic (slides)Logic (slides)
Logic (slides)IIUM
ย 
Relations and Functions.pdf
Relations and Functions.pdfRelations and Functions.pdf
Relations and Functions.pdfGhanshyamGUPTA61
ย 
Module 1 (Part 1)-Sets and Number Systems.pdf
Module 1 (Part 1)-Sets and Number Systems.pdfModule 1 (Part 1)-Sets and Number Systems.pdf
Module 1 (Part 1)-Sets and Number Systems.pdfGaleJean
ย 
Section 9: Equivalence Relations & Cosets
Section 9: Equivalence Relations & CosetsSection 9: Equivalence Relations & Cosets
Section 9: Equivalence Relations & CosetsKevin Johnson
ย 
Generalised Statistical Convergence For Double Sequences
Generalised Statistical Convergence For Double SequencesGeneralised Statistical Convergence For Double Sequences
Generalised Statistical Convergence For Double SequencesIOSR Journals
ย 
Counting i (slides)
Counting i (slides)Counting i (slides)
Counting i (slides)IIUM
ย 
Trees (slides)
Trees (slides)Trees (slides)
Trees (slides)IIUM
ย 
Chapter 2 Mathematical Language and Symbols.pdf
Chapter 2 Mathematical Language and Symbols.pdfChapter 2 Mathematical Language and Symbols.pdf
Chapter 2 Mathematical Language and Symbols.pdfRaRaRamirez
ย 
MAT-314 Relations and Functions
MAT-314 Relations and FunctionsMAT-314 Relations and Functions
MAT-314 Relations and FunctionsKevin Johnson
ย 
Matrix Transformations on Some Difference Sequence Spaces
Matrix Transformations on Some Difference Sequence SpacesMatrix Transformations on Some Difference Sequence Spaces
Matrix Transformations on Some Difference Sequence SpacesIOSR Journals
ย 
A Probabilistic Algorithm for Computation of Polynomial Greatest Common with ...
A Probabilistic Algorithm for Computation of Polynomial Greatest Common with ...A Probabilistic Algorithm for Computation of Polynomial Greatest Common with ...
A Probabilistic Algorithm for Computation of Polynomial Greatest Common with ...mathsjournal
ย 
Lecture 1.2 quadratic functions
Lecture 1.2 quadratic functionsLecture 1.2 quadratic functions
Lecture 1.2 quadratic functionsnarayana dash
ย 
Regression.pptx
Regression.pptxRegression.pptx
Regression.pptxShivakumar B N
ย 
Lesson 7: Graphing Inequalities
Lesson 7: Graphing InequalitiesLesson 7: Graphing Inequalities
Lesson 7: Graphing InequalitiesKevin Johnson
ย 
Tutorial on EM algorithm โ€“ Part 1
Tutorial on EM algorithm โ€“ Part 1Tutorial on EM algorithm โ€“ Part 1
Tutorial on EM algorithm โ€“ Part 1Loc Nguyen
ย 
P2-Chp3-SequencesAndSeries from pure maths 2.pptx
P2-Chp3-SequencesAndSeries from pure maths 2.pptxP2-Chp3-SequencesAndSeries from pure maths 2.pptx
P2-Chp3-SequencesAndSeries from pure maths 2.pptxArafathAliMathsTeach
ย 
Matrix Transformations on Paranormed Sequence Spaces Related To De La Vallรฉe-...
Matrix Transformations on Paranormed Sequence Spaces Related To De La Vallรฉe-...Matrix Transformations on Paranormed Sequence Spaces Related To De La Vallรฉe-...
Matrix Transformations on Paranormed Sequence Spaces Related To De La Vallรฉe-...inventionjournals
ย 
2 borgs
2 borgs2 borgs
2 borgsYandex
ย 

Similar to Relations digraphs (20)

Integers and matrices (slides)
Integers and matrices (slides)Integers and matrices (slides)
Integers and matrices (slides)
ย 
Recurrence relations
Recurrence relationsRecurrence relations
Recurrence relations
ย 
Logic (slides)
Logic (slides)Logic (slides)
Logic (slides)
ย 
Relations and Functions.pdf
Relations and Functions.pdfRelations and Functions.pdf
Relations and Functions.pdf
ย 
Module 1 (Part 1)-Sets and Number Systems.pdf
Module 1 (Part 1)-Sets and Number Systems.pdfModule 1 (Part 1)-Sets and Number Systems.pdf
Module 1 (Part 1)-Sets and Number Systems.pdf
ย 
Section 9: Equivalence Relations & Cosets
Section 9: Equivalence Relations & CosetsSection 9: Equivalence Relations & Cosets
Section 9: Equivalence Relations & Cosets
ย 
Generalised Statistical Convergence For Double Sequences
Generalised Statistical Convergence For Double SequencesGeneralised Statistical Convergence For Double Sequences
Generalised Statistical Convergence For Double Sequences
ย 
Counting i (slides)
Counting i (slides)Counting i (slides)
Counting i (slides)
ย 
Trees (slides)
Trees (slides)Trees (slides)
Trees (slides)
ย 
Chapter 2 Mathematical Language and Symbols.pdf
Chapter 2 Mathematical Language and Symbols.pdfChapter 2 Mathematical Language and Symbols.pdf
Chapter 2 Mathematical Language and Symbols.pdf
ย 
MAT-314 Relations and Functions
MAT-314 Relations and FunctionsMAT-314 Relations and Functions
MAT-314 Relations and Functions
ย 
Matrix Transformations on Some Difference Sequence Spaces
Matrix Transformations on Some Difference Sequence SpacesMatrix Transformations on Some Difference Sequence Spaces
Matrix Transformations on Some Difference Sequence Spaces
ย 
A Probabilistic Algorithm for Computation of Polynomial Greatest Common with ...
A Probabilistic Algorithm for Computation of Polynomial Greatest Common with ...A Probabilistic Algorithm for Computation of Polynomial Greatest Common with ...
A Probabilistic Algorithm for Computation of Polynomial Greatest Common with ...
ย 
Lecture 1.2 quadratic functions
Lecture 1.2 quadratic functionsLecture 1.2 quadratic functions
Lecture 1.2 quadratic functions
ย 
Regression.pptx
Regression.pptxRegression.pptx
Regression.pptx
ย 
Lesson 7: Graphing Inequalities
Lesson 7: Graphing InequalitiesLesson 7: Graphing Inequalities
Lesson 7: Graphing Inequalities
ย 
Tutorial on EM algorithm โ€“ Part 1
Tutorial on EM algorithm โ€“ Part 1Tutorial on EM algorithm โ€“ Part 1
Tutorial on EM algorithm โ€“ Part 1
ย 
P2-Chp3-SequencesAndSeries from pure maths 2.pptx
P2-Chp3-SequencesAndSeries from pure maths 2.pptxP2-Chp3-SequencesAndSeries from pure maths 2.pptx
P2-Chp3-SequencesAndSeries from pure maths 2.pptx
ย 
Matrix Transformations on Paranormed Sequence Spaces Related To De La Vallรฉe-...
Matrix Transformations on Paranormed Sequence Spaces Related To De La Vallรฉe-...Matrix Transformations on Paranormed Sequence Spaces Related To De La Vallรฉe-...
Matrix Transformations on Paranormed Sequence Spaces Related To De La Vallรฉe-...
ย 
2 borgs
2 borgs2 borgs
2 borgs
ย 

More from IIUM

How to use_000webhost
How to use_000webhostHow to use_000webhost
How to use_000webhostIIUM
ย 
Chapter 2
Chapter 2Chapter 2
Chapter 2IIUM
ย 
Chapter 1
Chapter 1Chapter 1
Chapter 1IIUM
ย 
Kreydle internship-multimedia
Kreydle internship-multimediaKreydle internship-multimedia
Kreydle internship-multimediaIIUM
ย 
03phpbldgblock
03phpbldgblock03phpbldgblock
03phpbldgblockIIUM
ย 
Chap2 practice key
Chap2 practice keyChap2 practice key
Chap2 practice keyIIUM
ย 
Group p1
Group p1Group p1
Group p1IIUM
ย 
Tutorial import n auto pilot blogspot friendly seo
Tutorial import n auto pilot blogspot friendly seoTutorial import n auto pilot blogspot friendly seo
Tutorial import n auto pilot blogspot friendly seoIIUM
ย 
Visual sceneperception encycloperception-sage-oliva2009
Visual sceneperception encycloperception-sage-oliva2009Visual sceneperception encycloperception-sage-oliva2009
Visual sceneperception encycloperception-sage-oliva2009IIUM
ย 
03 the htm_lforms
03 the htm_lforms03 the htm_lforms
03 the htm_lformsIIUM
ย 
Exercise on algo analysis answer
Exercise on algo analysis   answerExercise on algo analysis   answer
Exercise on algo analysis answerIIUM
ย 
Redo midterm
Redo midtermRedo midterm
Redo midtermIIUM
ย 
Heaps
HeapsHeaps
HeapsIIUM
ย 
Report format
Report formatReport format
Report formatIIUM
ย 
Edpuzzle guidelines
Edpuzzle guidelinesEdpuzzle guidelines
Edpuzzle guidelinesIIUM
ย 
Final Exam Paper
Final Exam PaperFinal Exam Paper
Final Exam PaperIIUM
ย 
Final Exam Paper
Final Exam PaperFinal Exam Paper
Final Exam PaperIIUM
ย 
Group assignment 1 s21516
Group assignment 1 s21516Group assignment 1 s21516
Group assignment 1 s21516IIUM
ย 
Avl tree-rotations
Avl tree-rotationsAvl tree-rotations
Avl tree-rotationsIIUM
ย 
Week12 graph
Week12   graph Week12   graph
Week12 graph IIUM
ย 

More from IIUM (20)

How to use_000webhost
How to use_000webhostHow to use_000webhost
How to use_000webhost
ย 
Chapter 2
Chapter 2Chapter 2
Chapter 2
ย 
Chapter 1
Chapter 1Chapter 1
Chapter 1
ย 
Kreydle internship-multimedia
Kreydle internship-multimediaKreydle internship-multimedia
Kreydle internship-multimedia
ย 
03phpbldgblock
03phpbldgblock03phpbldgblock
03phpbldgblock
ย 
Chap2 practice key
Chap2 practice keyChap2 practice key
Chap2 practice key
ย 
Group p1
Group p1Group p1
Group p1
ย 
Tutorial import n auto pilot blogspot friendly seo
Tutorial import n auto pilot blogspot friendly seoTutorial import n auto pilot blogspot friendly seo
Tutorial import n auto pilot blogspot friendly seo
ย 
Visual sceneperception encycloperception-sage-oliva2009
Visual sceneperception encycloperception-sage-oliva2009Visual sceneperception encycloperception-sage-oliva2009
Visual sceneperception encycloperception-sage-oliva2009
ย 
03 the htm_lforms
03 the htm_lforms03 the htm_lforms
03 the htm_lforms
ย 
Exercise on algo analysis answer
Exercise on algo analysis   answerExercise on algo analysis   answer
Exercise on algo analysis answer
ย 
Redo midterm
Redo midtermRedo midterm
Redo midterm
ย 
Heaps
HeapsHeaps
Heaps
ย 
Report format
Report formatReport format
Report format
ย 
Edpuzzle guidelines
Edpuzzle guidelinesEdpuzzle guidelines
Edpuzzle guidelines
ย 
Final Exam Paper
Final Exam PaperFinal Exam Paper
Final Exam Paper
ย 
Final Exam Paper
Final Exam PaperFinal Exam Paper
Final Exam Paper
ย 
Group assignment 1 s21516
Group assignment 1 s21516Group assignment 1 s21516
Group assignment 1 s21516
ย 
Avl tree-rotations
Avl tree-rotationsAvl tree-rotations
Avl tree-rotations
ย 
Week12 graph
Week12   graph Week12   graph
Week12 graph
ย 

Recently uploaded

Explore beautiful and ugly buildings. Mathematics helps us create beautiful d...
Explore beautiful and ugly buildings. Mathematics helps us create beautiful d...Explore beautiful and ugly buildings. Mathematics helps us create beautiful d...
Explore beautiful and ugly buildings. Mathematics helps us create beautiful d...christianmathematics
ย 
Understanding Accommodations and Modifications
Understanding  Accommodations and ModificationsUnderstanding  Accommodations and Modifications
Understanding Accommodations and ModificationsMJDuyan
ย 
Seal of Good Local Governance (SGLG) 2024Final.pptx
Seal of Good Local Governance (SGLG) 2024Final.pptxSeal of Good Local Governance (SGLG) 2024Final.pptx
Seal of Good Local Governance (SGLG) 2024Final.pptxnegromaestrong
ย 
1029 - Danh muc Sach Giao Khoa 10 . pdf
1029 -  Danh muc Sach Giao Khoa 10 . pdf1029 -  Danh muc Sach Giao Khoa 10 . pdf
1029 - Danh muc Sach Giao Khoa 10 . pdfQucHHunhnh
ย 
How to Give a Domain for a Field in Odoo 17
How to Give a Domain for a Field in Odoo 17How to Give a Domain for a Field in Odoo 17
How to Give a Domain for a Field in Odoo 17Celine George
ย 
Mixin Classes in Odoo 17 How to Extend Models Using Mixin Classes
Mixin Classes in Odoo 17  How to Extend Models Using Mixin ClassesMixin Classes in Odoo 17  How to Extend Models Using Mixin Classes
Mixin Classes in Odoo 17 How to Extend Models Using Mixin ClassesCeline George
ย 
General Principles of Intellectual Property: Concepts of Intellectual Proper...
General Principles of Intellectual Property: Concepts of Intellectual  Proper...General Principles of Intellectual Property: Concepts of Intellectual  Proper...
General Principles of Intellectual Property: Concepts of Intellectual Proper...Poonam Aher Patil
ย 
Magic bus Group work1and 2 (Team 3).pptx
Magic bus Group work1and 2 (Team 3).pptxMagic bus Group work1and 2 (Team 3).pptx
Magic bus Group work1and 2 (Team 3).pptxdhanalakshmis0310
ย 
Grant Readiness 101 TechSoup and Remy Consulting
Grant Readiness 101 TechSoup and Remy ConsultingGrant Readiness 101 TechSoup and Remy Consulting
Grant Readiness 101 TechSoup and Remy ConsultingTechSoup
ย 
Key note speaker Neum_Admir Softic_ENG.pdf
Key note speaker Neum_Admir Softic_ENG.pdfKey note speaker Neum_Admir Softic_ENG.pdf
Key note speaker Neum_Admir Softic_ENG.pdfAdmir Softic
ย 
Micro-Scholarship, What it is, How can it help me.pdf
Micro-Scholarship, What it is, How can it help me.pdfMicro-Scholarship, What it is, How can it help me.pdf
Micro-Scholarship, What it is, How can it help me.pdfPoh-Sun Goh
ย 
ICT Role in 21st Century Education & its Challenges.pptx
ICT Role in 21st Century Education & its Challenges.pptxICT Role in 21st Century Education & its Challenges.pptx
ICT Role in 21st Century Education & its Challenges.pptxAreebaZafar22
ย 
Kodo Millet PPT made by Ghanshyam bairwa college of Agriculture kumher bhara...
Kodo Millet  PPT made by Ghanshyam bairwa college of Agriculture kumher bhara...Kodo Millet  PPT made by Ghanshyam bairwa college of Agriculture kumher bhara...
Kodo Millet PPT made by Ghanshyam bairwa college of Agriculture kumher bhara...pradhanghanshyam7136
ย 
Spellings Wk 3 English CAPS CARES Please Practise
Spellings Wk 3 English CAPS CARES Please PractiseSpellings Wk 3 English CAPS CARES Please Practise
Spellings Wk 3 English CAPS CARES Please PractiseAnaAcapella
ย 
How to Manage Global Discount in Odoo 17 POS
How to Manage Global Discount in Odoo 17 POSHow to Manage Global Discount in Odoo 17 POS
How to Manage Global Discount in Odoo 17 POSCeline George
ย 
ICT role in 21st century education and it's challenges.
ICT role in 21st century education and it's challenges.ICT role in 21st century education and it's challenges.
ICT role in 21st century education and it's challenges.MaryamAhmad92
ย 
SOC 101 Demonstration of Learning Presentation
SOC 101 Demonstration of Learning PresentationSOC 101 Demonstration of Learning Presentation
SOC 101 Demonstration of Learning Presentationcamerronhm
ย 
Food safety_Challenges food safety laboratories_.pdf
Food safety_Challenges food safety laboratories_.pdfFood safety_Challenges food safety laboratories_.pdf
Food safety_Challenges food safety laboratories_.pdfSherif Taha
ย 
Tแป”NG ร”N TแบฌP THI Vร€O LแปšP 10 Mร”N TIแบพNG ANH Nฤ‚M HแปŒC 2023 - 2024 Cร“ ฤรP รN (NGแปฎ ร‚...
Tแป”NG ร”N TแบฌP THI Vร€O LแปšP 10 Mร”N TIแบพNG ANH Nฤ‚M HแปŒC 2023 - 2024 Cร“ ฤรP รN (NGแปฎ ร‚...Tแป”NG ร”N TแบฌP THI Vร€O LแปšP 10 Mร”N TIแบพNG ANH Nฤ‚M HแปŒC 2023 - 2024 Cร“ ฤรP รN (NGแปฎ ร‚...
Tแป”NG ร”N TแบฌP THI Vร€O LแปšP 10 Mร”N TIแบพNG ANH Nฤ‚M HแปŒC 2023 - 2024 Cร“ ฤรP รN (NGแปฎ ร‚...Nguyen Thanh Tu Collection
ย 
microwave assisted reaction. General introduction
microwave assisted reaction. General introductionmicrowave assisted reaction. General introduction
microwave assisted reaction. General introductionMaksud Ahmed
ย 

Recently uploaded (20)

Explore beautiful and ugly buildings. Mathematics helps us create beautiful d...
Explore beautiful and ugly buildings. Mathematics helps us create beautiful d...Explore beautiful and ugly buildings. Mathematics helps us create beautiful d...
Explore beautiful and ugly buildings. Mathematics helps us create beautiful d...
ย 
Understanding Accommodations and Modifications
Understanding  Accommodations and ModificationsUnderstanding  Accommodations and Modifications
Understanding Accommodations and Modifications
ย 
Seal of Good Local Governance (SGLG) 2024Final.pptx
Seal of Good Local Governance (SGLG) 2024Final.pptxSeal of Good Local Governance (SGLG) 2024Final.pptx
Seal of Good Local Governance (SGLG) 2024Final.pptx
ย 
1029 - Danh muc Sach Giao Khoa 10 . pdf
1029 -  Danh muc Sach Giao Khoa 10 . pdf1029 -  Danh muc Sach Giao Khoa 10 . pdf
1029 - Danh muc Sach Giao Khoa 10 . pdf
ย 
How to Give a Domain for a Field in Odoo 17
How to Give a Domain for a Field in Odoo 17How to Give a Domain for a Field in Odoo 17
How to Give a Domain for a Field in Odoo 17
ย 
Mixin Classes in Odoo 17 How to Extend Models Using Mixin Classes
Mixin Classes in Odoo 17  How to Extend Models Using Mixin ClassesMixin Classes in Odoo 17  How to Extend Models Using Mixin Classes
Mixin Classes in Odoo 17 How to Extend Models Using Mixin Classes
ย 
General Principles of Intellectual Property: Concepts of Intellectual Proper...
General Principles of Intellectual Property: Concepts of Intellectual  Proper...General Principles of Intellectual Property: Concepts of Intellectual  Proper...
General Principles of Intellectual Property: Concepts of Intellectual Proper...
ย 
Magic bus Group work1and 2 (Team 3).pptx
Magic bus Group work1and 2 (Team 3).pptxMagic bus Group work1and 2 (Team 3).pptx
Magic bus Group work1and 2 (Team 3).pptx
ย 
Grant Readiness 101 TechSoup and Remy Consulting
Grant Readiness 101 TechSoup and Remy ConsultingGrant Readiness 101 TechSoup and Remy Consulting
Grant Readiness 101 TechSoup and Remy Consulting
ย 
Key note speaker Neum_Admir Softic_ENG.pdf
Key note speaker Neum_Admir Softic_ENG.pdfKey note speaker Neum_Admir Softic_ENG.pdf
Key note speaker Neum_Admir Softic_ENG.pdf
ย 
Micro-Scholarship, What it is, How can it help me.pdf
Micro-Scholarship, What it is, How can it help me.pdfMicro-Scholarship, What it is, How can it help me.pdf
Micro-Scholarship, What it is, How can it help me.pdf
ย 
ICT Role in 21st Century Education & its Challenges.pptx
ICT Role in 21st Century Education & its Challenges.pptxICT Role in 21st Century Education & its Challenges.pptx
ICT Role in 21st Century Education & its Challenges.pptx
ย 
Kodo Millet PPT made by Ghanshyam bairwa college of Agriculture kumher bhara...
Kodo Millet  PPT made by Ghanshyam bairwa college of Agriculture kumher bhara...Kodo Millet  PPT made by Ghanshyam bairwa college of Agriculture kumher bhara...
Kodo Millet PPT made by Ghanshyam bairwa college of Agriculture kumher bhara...
ย 
Spellings Wk 3 English CAPS CARES Please Practise
Spellings Wk 3 English CAPS CARES Please PractiseSpellings Wk 3 English CAPS CARES Please Practise
Spellings Wk 3 English CAPS CARES Please Practise
ย 
How to Manage Global Discount in Odoo 17 POS
How to Manage Global Discount in Odoo 17 POSHow to Manage Global Discount in Odoo 17 POS
How to Manage Global Discount in Odoo 17 POS
ย 
ICT role in 21st century education and it's challenges.
ICT role in 21st century education and it's challenges.ICT role in 21st century education and it's challenges.
ICT role in 21st century education and it's challenges.
ย 
SOC 101 Demonstration of Learning Presentation
SOC 101 Demonstration of Learning PresentationSOC 101 Demonstration of Learning Presentation
SOC 101 Demonstration of Learning Presentation
ย 
Food safety_Challenges food safety laboratories_.pdf
Food safety_Challenges food safety laboratories_.pdfFood safety_Challenges food safety laboratories_.pdf
Food safety_Challenges food safety laboratories_.pdf
ย 
Tแป”NG ร”N TแบฌP THI Vร€O LแปšP 10 Mร”N TIแบพNG ANH Nฤ‚M HแปŒC 2023 - 2024 Cร“ ฤรP รN (NGแปฎ ร‚...
Tแป”NG ร”N TแบฌP THI Vร€O LแปšP 10 Mร”N TIแบพNG ANH Nฤ‚M HแปŒC 2023 - 2024 Cร“ ฤรP รN (NGแปฎ ร‚...Tแป”NG ร”N TแบฌP THI Vร€O LแปšP 10 Mร”N TIแบพNG ANH Nฤ‚M HแปŒC 2023 - 2024 Cร“ ฤรP รN (NGแปฎ ร‚...
Tแป”NG ร”N TแบฌP THI Vร€O LแปšP 10 Mร”N TIแบพNG ANH Nฤ‚M HแปŒC 2023 - 2024 Cร“ ฤรP รN (NGแปฎ ร‚...
ย 
microwave assisted reaction. General introduction
microwave assisted reaction. General introductionmicrowave assisted reaction. General introduction
microwave assisted reaction. General introduction
ย 

Relations digraphs

  • 2. Product Sets Definition: An ordered pair ๐‘Ž๐‘Ž, ๐‘๐‘ is a listing of the objects/items ๐‘Ž๐‘Ž and ๐‘๐‘ in a prescribed order: ๐‘Ž๐‘Ž is the first and ๐‘๐‘ is the second. (a sequence of length 2) Definition: The ordered pairs ๐‘Ž๐‘Ž1, ๐‘๐‘1 and ๐‘Ž๐‘Ž2, ๐‘๐‘2 are equal iff ๐‘Ž๐‘Ž1 = ๐‘Ž๐‘Ž2 and ๐‘๐‘1 = ๐‘๐‘2. Definition: If ๐ด๐ด and ๐ต๐ต are two nonempty sets, we define the product set or Cartesian product ๐ด๐ด ร— ๐ต๐ต as the set of all ordered pairs ๐‘Ž๐‘Ž, ๐‘๐‘ with ๐‘Ž๐‘Ž โˆˆ ๐ด๐ด and ๐‘๐‘ โˆˆ ๐ต๐ต: ๐ด๐ด ร— ๐ต๐ต = ๐‘Ž๐‘Ž, ๐‘๐‘ ๐‘Ž๐‘Ž โˆˆ ๐ด๐ด and ๐‘๐‘ โˆˆ ๐ต๐ต} ยฉ S. Turaev, CSC 1700 Discrete Mathematics 2
  • 3. Product Sets Example: Let ๐ด๐ด = 1,2,3 and ๐ต๐ต = ๐‘Ÿ๐‘Ÿ, ๐‘ ๐‘  , then ๐ด๐ด ร— ๐ต๐ต = ๐ต๐ต ร— ๐ด๐ด = ยฉ S. Turaev, CSC 1700 Discrete Mathematics 3
  • 4. Product Sets Theorem: For any two finite sets ๐ด๐ด and ๐ต๐ต, ๐ด๐ด ร— ๐ต๐ต = ๐ด๐ด โ‹… ๐ต๐ต . Proof: Use multiplication principle! ยฉ S. Turaev, CSC 1700 Discrete Mathematics 4
  • 5. Definitions: ๏‚ง Let ๐ด๐ด and ๐ต๐ต be nonempty sets. A relation ๐‘…๐‘… from ๐ด๐ด to ๐ต๐ต is a subset of ๐ด๐ด ร— ๐ต๐ต. ๏‚ง If ๐‘…๐‘… โŠ† ๐ด๐ด ร— ๐ต๐ต and ๐‘Ž๐‘Ž, ๐‘๐‘ โˆˆ ๐‘…๐‘…, we say that ๐‘Ž๐‘Ž is related to ๐‘๐‘ by ๐‘…๐‘…, and we write ๐‘Ž๐‘Ž ๐‘…๐‘… ๐‘๐‘. ๏‚ง If ๐‘Ž๐‘Ž is not related to ๐‘๐‘ by ๐‘…๐‘…, we write ๐‘Ž๐‘Ž ๐‘…๐‘… ๐‘๐‘. ๏‚ง If ๐‘…๐‘… โŠ† ๐ด๐ด ร— ๐ด๐ด, we say ๐‘…๐‘… is a relation on ๐ด๐ด. Relations & Digraphs ยฉ S. Turaev, CSC 1700 Discrete Mathematics 5
  • 6. Example 1: Let ๐ด๐ด = 1,2,3 and ๐ต๐ต = ๐‘Ÿ๐‘Ÿ, ๐‘ ๐‘  . Then ๐‘…๐‘… = 1, ๐‘Ÿ๐‘Ÿ , 2, ๐‘ ๐‘  , 3, ๐‘Ÿ๐‘Ÿ โŠ† ๐ด๐ด ร— ๐ต๐ต is a relation from ๐ด๐ด to ๐ต๐ต. Example 2: Let ๐ด๐ด and ๐ต๐ต are sets of positive integer numbers. We define the relation ๐‘…๐‘… โŠ† ๐ด๐ด ร— ๐ต๐ต by ๐‘Ž๐‘Ž ๐‘…๐‘… ๐‘๐‘ โ‡” ๐‘Ž๐‘Ž = ๐‘๐‘ Relations & Digraphs ยฉ S. Turaev, CSC 1700 Discrete Mathematics 6
  • 7. Example 3: Let ๐ด๐ด = 1,2,3,4,5 . The relation ๐‘…๐‘… โŠ† ๐ด๐ด ร— ๐ด๐ด is defined by ๐‘Ž๐‘Ž ๐‘…๐‘… ๐‘๐‘ โ‡” ๐‘Ž๐‘Ž < ๐‘๐‘ Then ๐‘…๐‘… = Example 4: Let ๐ด๐ด = 1,2,3,4,5,6,7,8,9,10 . The relation ๐‘…๐‘… โŠ† ๐ด๐ด ร— ๐ด๐ด is defined by ๐‘Ž๐‘Ž ๐‘…๐‘… ๐‘๐‘ โ‡” ๐‘Ž๐‘Ž|๐‘๐‘ Then ๐‘…๐‘… = Relations & Digraphs ยฉ S. Turaev, CSC 1700 Discrete Mathematics 7
  • 8. Definition: Let ๐‘…๐‘… โŠ† ๐ด๐ด ร— ๐ต๐ต be a relation from ๐ด๐ด to ๐ต๐ต. ๏‚ง The domain of ๐‘…๐‘…, denoted by Dom ๐‘…๐‘… , is the set of elements in ๐ด๐ด that are related to some element in ๐ต๐ต. ๏‚ง The range of ๐‘…๐‘…, denoted by Ran ๐‘…๐‘… , is the set of elements in ๐ต๐ต that are second elements of pairs in ๐‘…๐‘…. Relations & Digraphs ยฉ S. Turaev, CSC 1700 Discrete Mathematics 8
  • 9. Relations & Digraphs Example 5: Let ๐ด๐ด = 1,2,3 and ๐ต๐ต = ๐‘Ÿ๐‘Ÿ, ๐‘ ๐‘  . ๐‘…๐‘… = 1, ๐‘Ÿ๐‘Ÿ , 2, ๐‘ ๐‘  , 3, ๐‘Ÿ๐‘Ÿ Dom R = Ran R = Example 6: Let ๐ด๐ด = 1,2,3,4,5 . The relation ๐‘…๐‘… โŠ† ๐ด๐ด ร— ๐ด๐ด is defined by ๐‘Ž๐‘Ž ๐‘…๐‘… ๐‘๐‘ โ‡” ๐‘Ž๐‘Ž < ๐‘๐‘ Dom R = Ran R = ยฉ S. Turaev, CSC 1700 Discrete Mathematics 9
  • 10. The Matrix of a Relation Definition: Let ๐ด๐ด = ๐‘Ž๐‘Ž1, ๐‘Ž๐‘Ž2, โ€ฆ , ๐‘Ž๐‘Ž ๐‘š๐‘š , ๐ต๐ต = ๐‘๐‘1, ๐‘๐‘2, โ€ฆ , ๐‘๐‘๐‘›๐‘› and ๐‘…๐‘… โŠ† ๐ด๐ด ร— ๐ต๐ต be a relation. We represent ๐‘…๐‘… by the ๐‘š๐‘š ร— ๐‘›๐‘› matrix ๐Œ๐Œ๐‘…๐‘… = [๐‘š๐‘š๐‘–๐‘–๐‘–๐‘–], which is defined by ๐‘š๐‘š๐‘–๐‘–๐‘–๐‘– = ๏ฟฝ 1, ๐‘Ž๐‘Ž๐‘–๐‘–, ๐‘๐‘๐‘—๐‘— โˆˆ ๐‘…๐‘… 0, ๐‘Ž๐‘Ž๐‘–๐‘–, ๐‘๐‘๐‘—๐‘— โˆ‰ ๐‘…๐‘… The matrix ๐Œ๐Œ๐‘…๐‘… is called the matrix of ๐‘…๐‘…. Example: Let ๐ด๐ด = 1,2,3 and ๐ต๐ต = ๐‘Ÿ๐‘Ÿ, ๐‘ ๐‘  . ๐‘…๐‘… = 1, ๐‘Ÿ๐‘Ÿ , 2, ๐‘ ๐‘  , 3, ๐‘Ÿ๐‘Ÿ ๐Œ๐Œ๐‘…๐‘… = ยฉ S. Turaev, CSC 1700 Discrete Mathematics 10
  • 11. The Digraph of a Relation Definition: If ๐ด๐ด is finite and ๐‘…๐‘… โŠ† ๐ด๐ด ร— ๐ด๐ด is a relation. We represent ๐‘…๐‘… pictorially as follows: ๏‚ง Draw a small circle, called a vertex/node, for each element of ๐ด๐ด and label the circle with the corresponding element of ๐ด๐ด. ๏‚ง Draw an arrow, called an edge, from vertex ๐‘Ž๐‘Ž๐‘–๐‘– to vertex ๐‘Ž๐‘Ž๐‘—๐‘— iff ๐‘Ž๐‘Ž๐‘–๐‘– ๐‘…๐‘… ๐‘Ž๐‘Ž๐‘—๐‘—. The resulting pictorial representation of ๐‘…๐‘… is called a directed graph or digraph of ๐‘…๐‘…. ยฉ S. Turaev, CSC 1700 Discrete Mathematics 11
  • 12. The Digraph of a Relation Example: Let ๐ด๐ด = 1, 2, 3, 4 and ๐‘…๐‘… = 1,1 , 1,2 , 2,1 , 2,2 , 2,3 , 2,4 , 3,4 , 4,1 The digraph of ๐‘…๐‘…: Example: Let ๐ด๐ด = 1, 2, 3, 4 and Find the relation ๐‘…๐‘…: ยฉ S. Turaev, CSC 1700 Discrete Mathematics 1 2 3 4 12
  • 13. The Digraph of a Relation Definition: If ๐‘…๐‘… is a relation on a set ๐ด๐ด and ๐‘Ž๐‘Ž โˆˆ ๐ด๐ด, then ๏‚ง the in-degree of ๐‘Ž๐‘Ž is the number of ๐‘๐‘ โˆˆ ๐ด๐ด such that ๐‘๐‘, ๐‘Ž๐‘Ž โˆˆ ๐‘…๐‘…; ๏‚ง the out-degree of ๐‘Ž๐‘Ž is the number of ๐‘๐‘ โˆˆ ๐ด๐ด such that ๐‘Ž๐‘Ž, ๐‘๐‘ โˆˆ ๐‘…๐‘…. Example: Consider the digraph: List in-degrees and out-degrees of all vertices. ยฉ S. Turaev, CSC 1700 Discrete Mathematics 1 2 3 4 13
  • 14. The Digraph of a Relation Example: Let ๐ด๐ด = ๐‘Ž๐‘Ž, ๐‘๐‘, ๐‘๐‘, ๐‘‘๐‘‘ and let ๐‘…๐‘… be the relation on ๐ด๐ด that has the matrix ๐Œ๐Œ๐‘…๐‘… = 1 0 0 1 0 0 0 0 1 1 0 1 1 0 0 1 Construct the digraph of ๐‘…๐‘… and list in-degrees and out- degrees of all vertices. ยฉ S. Turaev, CSC 1700 Discrete Mathematics 14
  • 15. The Digraph of a Relation Example: Let ๐ด๐ด = 1,4,5 and let ๐‘…๐‘… be given the digraph Find ๐Œ๐Œ๐‘…๐‘… and ๐‘…๐‘…. ยฉ S. Turaev, CSC 1700 Discrete Mathematics 1 4 5 15
  • 16. Paths in Relations & Digraphs Definition: Suppose that ๐‘…๐‘… is a relation on a set ๐ด๐ด. A path of length ๐‘›๐‘› in ๐‘…๐‘… from ๐‘Ž๐‘Ž to ๐‘๐‘ is a finite sequence ๐œ‹๐œ‹ โˆถ ๐‘Ž๐‘Ž, ๐‘ฅ๐‘ฅ1, ๐‘ฅ๐‘ฅ2, โ€ฆ , ๐‘ฅ๐‘ฅ๐‘›๐‘›โˆ’1, ๐‘๐‘ beginning with ๐‘Ž๐‘Ž and ending with ๐‘๐‘, such that ๐‘Ž๐‘Ž ๐‘…๐‘… ๐‘ฅ๐‘ฅ1, ๐‘ฅ๐‘ฅ1 ๐‘…๐‘… ๐‘ฅ๐‘ฅ2, โ€ฆ , ๐‘ฅ๐‘ฅ๐‘›๐‘›โˆ’1 ๐‘…๐‘… ๐‘๐‘. Definition: A path that begins and ends at the same vertex is called a cycle: ๐œ‹๐œ‹ โˆถ ๐‘Ž๐‘Ž, ๐‘ฅ๐‘ฅ1, ๐‘ฅ๐‘ฅ2, โ€ฆ , ๐‘ฅ๐‘ฅ๐‘›๐‘›โˆ’1, ๐‘Ž๐‘Ž ยฉ S. Turaev, CSC 1700 Discrete Mathematics 16
  • 17. Paths in Relations & Digraphs Example: Give the examples for paths of length 1,2,3,4 and 5. ยฉ S. Turaev, CSC 1700 Discrete Mathematics 1 2 43 5 17
  • 18. Paths in Relations & Digraphs Definition: If ๐‘›๐‘› is a fixed number, we define a relation ๐‘…๐‘… ๐‘›๐‘› as follows: ๐‘ฅ๐‘ฅ ๐‘…๐‘…๐‘›๐‘› ๐‘ฆ๐‘ฆ means that there is a path of length ๐‘›๐‘› from ๐‘ฅ๐‘ฅ to ๐‘ฆ๐‘ฆ. Definition: We define a relation ๐‘…๐‘…โˆž (connectivity relation for ๐‘…๐‘…) on ๐ด๐ด by letting ๐‘ฅ๐‘ฅ ๐‘…๐‘…โˆž ๐‘ฆ๐‘ฆ mean that there is some path from ๐‘ฅ๐‘ฅ to ๐‘ฆ๐‘ฆ. Example: Let ๐ด๐ด = ๐‘Ž๐‘Ž, ๐‘๐‘, ๐‘๐‘, ๐‘‘๐‘‘, ๐‘’๐‘’ and ๐‘…๐‘… = ๐‘Ž๐‘Ž, ๐‘Ž๐‘Ž , ๐‘Ž๐‘Ž, ๐‘๐‘ , ๐‘๐‘, ๐‘๐‘ , ๐‘๐‘, ๐‘’๐‘’ , ๐‘๐‘, ๐‘‘๐‘‘ , ๐‘‘๐‘‘, ๐‘’๐‘’ . Compute (a) ๐‘…๐‘…2 ; (b) ๐‘…๐‘…3 ; (c) ๐‘…๐‘…โˆž . ยฉ S. Turaev, CSC 1700 Discrete Mathematics 18
  • 19. Paths in Relations & Digraphs Let ๐‘…๐‘… be a relation on a finite set ๐ด๐ด = ๐‘Ž๐‘Ž1, ๐‘Ž๐‘Ž2, โ€ฆ , ๐‘Ž๐‘Ž๐‘›๐‘› , and let ๐Œ๐Œ๐‘…๐‘… be the ๐‘›๐‘› ร— ๐‘›๐‘› matrix representing ๐‘…๐‘…. Theorem 1: If ๐‘…๐‘… is a relation on ๐ด๐ด = ๐‘Ž๐‘Ž1, ๐‘Ž๐‘Ž2, โ€ฆ , ๐‘Ž๐‘Ž๐‘›๐‘› , then ๐Œ๐Œ๐‘…๐‘…2 = ๐Œ๐Œ๐‘…๐‘… โŠ™ ๐Œ๐Œ๐‘…๐‘…. Example: Let ๐ด๐ด = ๐‘Ž๐‘Ž, ๐‘๐‘, ๐‘๐‘, ๐‘‘๐‘‘, ๐‘’๐‘’ and ๐‘…๐‘… = ๐‘Ž๐‘Ž, ๐‘Ž๐‘Ž , ๐‘Ž๐‘Ž, ๐‘๐‘ , ๐‘๐‘, ๐‘๐‘ , ๐‘๐‘, ๐‘’๐‘’ , ๐‘๐‘, ๐‘‘๐‘‘ , ๐‘‘๐‘‘, ๐‘’๐‘’ . ยฉ S. Turaev, CSC 1700 Discrete Mathematics 19
  • 20. Paths in Relations & Digraphs Example: Let ๐ด๐ด = ๐‘Ž๐‘Ž, ๐‘๐‘, ๐‘๐‘, ๐‘‘๐‘‘, ๐‘’๐‘’ and ๐‘…๐‘… = ๐‘Ž๐‘Ž, ๐‘Ž๐‘Ž , ๐‘Ž๐‘Ž, ๐‘๐‘ , ๐‘๐‘, ๐‘๐‘ , ๐‘๐‘, ๐‘’๐‘’ , ๐‘๐‘, ๐‘‘๐‘‘ , ๐‘‘๐‘‘, ๐‘’๐‘’ . ๐Œ๐Œ๐‘…๐‘… = 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 Compute ๐Œ๐Œ๐‘…๐‘…2. ยฉ S. Turaev, CSC 1700 Discrete Mathematics 20
  • 21. Reflexive & Irreflexive Relations Definition: ๏‚ง A relation ๐‘…๐‘… on a set ๐ด๐ด is reflexive if ๐‘Ž๐‘Ž, ๐‘Ž๐‘Ž โˆˆ ๐‘…๐‘… for all ๐‘Ž๐‘Ž โˆˆ ๐ด๐ด, i.e., if ๐‘Ž๐‘Ž ๐‘…๐‘… ๐‘Ž๐‘Ž for all ๐‘Ž๐‘Ž โˆˆ ๐ด๐ด. ๏‚ง A relation ๐‘…๐‘… on a set ๐ด๐ด is irreflexive if ๐‘Ž๐‘Ž ๐‘…๐‘… ๐‘Ž๐‘Ž for all ๐‘Ž๐‘Ž โˆˆ ๐ด๐ด. Example: ๏‚ง ฮ” = ๐‘Ž๐‘Ž, ๐‘Ž๐‘Ž | ๐‘Ž๐‘Ž โˆˆ ๐ด๐ด , the relation of equality on the set ๐ด๐ด. ๏‚ง ๐‘…๐‘… = ๐‘Ž๐‘Ž, ๐‘๐‘ โˆˆ ๐ด๐ด ร— ๐ด๐ด| ๐‘Ž๐‘Ž โ‰  ๐‘๐‘ , the relation of inequality on the set ๐ด๐ด. ยฉ S. Turaev, CSC 1700 Discrete Mathematics 21
  • 22. Reflexive & Irreflexive Relations Exercise: Let ๐ด๐ด = 1, 2, 3 , and let ๐‘…๐‘… = 1,1 , 1,2 . Is ๐‘…๐‘… reflexive or irreflexive? Exercise: How is a reflexive or irreflexive relation identified by its matrix? Exercise: How is a reflexive or irreflexive relation characterized by the digraph? ยฉ S. Turaev, CSC 1700 Discrete Mathematics 22
  • 23. (A-, Anti-) Symmetric Relations Definition: ๏‚ง A relation ๐‘…๐‘… on a set ๐ด๐ด is symmetric if whenever ๐‘Ž๐‘Ž ๐‘…๐‘… ๐‘๐‘, then ๐‘๐‘ ๐‘…๐‘… ๐‘Ž๐‘Ž. ๏‚ง A relation ๐‘…๐‘… on a set ๐ด๐ด is asymmetric if whenever ๐‘Ž๐‘Ž ๐‘…๐‘… ๐‘๐‘, then ๐‘๐‘ ๐‘…๐‘… ๐‘Ž๐‘Ž. ๏‚ง A relation ๐‘…๐‘… on a set ๐ด๐ด is antisymmetric if whenever ๐‘Ž๐‘Ž ๐‘…๐‘… ๐‘๐‘ and ๐‘๐‘ ๐‘…๐‘… ๐‘Ž๐‘Ž, then ๐‘Ž๐‘Ž = ๐‘๐‘. ยฉ S. Turaev, CSC 1700 Discrete Mathematics 23
  • 24. (A-, Anti-) Symmetric Relations Example: Let ๐ด๐ด = 1, 2, 3, 4, 5, 6 and let ๐‘…๐‘… = ๐‘Ž๐‘Ž, ๐‘๐‘ โˆˆ ๐ด๐ด ร— ๐ด๐ด | ๐‘Ž๐‘Ž < ๐‘๐‘ Is ๐‘…๐‘… symmetric, asymmetric or antisymmetric? ๏‚ง Symmetry: ๏‚ง Asymmetry: ๏‚ง Antisymmetry: ยฉ S. Turaev, CSC 1700 Discrete Mathematics 24
  • 25. (A-, Anti-) Symmetric Relations Example: Let ๐ด๐ด = 1, 2, 3, 4 and let ๐‘…๐‘… = 1,2 , 2,2 , 3,4 , 4,1 Is ๐‘…๐‘… symmetric, asymmetric or antisymmetric? Example: Let ๐ด๐ด = โ„ค+ and let ๐‘…๐‘… = ๐‘Ž๐‘Ž, ๐‘๐‘ โˆˆ ๐ด๐ด ร— ๐ด๐ด | ๐‘Ž๐‘Ž divides ๐‘๐‘ Is ๐‘…๐‘… symmetric, asymmetric or antisymmetric? ยฉ S. Turaev, CSC 1700 Discrete Mathematics 25
  • 26. (A-, Anti-) Symmetric Relations Exercise: How is a symmetric, asymmetric or antisymmetric relation identified by its matrix? Exercise: How is a symmetric, asymmetric or antisymmetric relation characterized by the digraph? ยฉ S. Turaev, CSC 1700 Discrete Mathematics 26
  • 27. Transitive Relations Definition: A relation ๐‘…๐‘… on a set ๐ด๐ด is transitive if whenever ๐‘Ž๐‘Ž ๐‘…๐‘… ๐‘๐‘ and ๐‘๐‘ ๐‘…๐‘… ๐‘๐‘ then ๐‘Ž๐‘Ž ๐‘…๐‘… ๐‘๐‘. Example: Let ๐ด๐ด = 1, 2, 3, 4 and let ๐‘…๐‘… = 1,2 , 1,3 , 4,2 Is ๐‘…๐‘… transitive? Example: Let ๐ด๐ด = โ„ค+ and let ๐‘…๐‘… = ๐‘Ž๐‘Ž, ๐‘๐‘ โˆˆ ๐ด๐ด ร— ๐ด๐ด | ๐‘Ž๐‘Ž divides ๐‘๐‘ Is ๐‘…๐‘… transitive? ยฉ S. Turaev, CSC 1700 Discrete Mathematics 27
  • 28. Transitive Relations Exercise: Let ๐ด๐ด = 1,2,3 and ๐‘…๐‘… be the relation on ๐ด๐ด whose matrix is ๐Œ๐Œ๐‘…๐‘… = 1 1 1 0 0 1 0 0 1 Show that ๐‘…๐‘… is transitive. (Hint: Check if ๐Œ๐Œ๐‘…๐‘… โŠ™ 2 = ๐Œ๐Œ๐‘…๐‘…) Exercise: How is a transitive relation identified by its matrix? Exercise: How is a transitive relation characterized by the digraph? ยฉ S. Turaev, CSC 1700 Discrete Mathematics 28
  • 29. Equivalence Relations Definition: A relation ๐‘…๐‘… on a set ๐ด๐ด is called an equi- valence relation if it is reflexive, symmetric and transitive. Example: Let ๐ด๐ด = 1, 2, 3, 4 and let ๐‘…๐‘… = 1,1 , 1,2 , 2,1 , 2,2 , 3,4 , 4,3 , 3,3 , 4,4 . Then ๐‘…๐‘… is an equivalence relation. Example: Let ๐ด๐ด = โ„ค and let ๐‘…๐‘… = ๐‘Ž๐‘Ž, ๐‘๐‘ โˆˆ ๐ด๐ด ร— ๐ด๐ด โˆถ ๐‘Ž๐‘Ž โ‰ก ๐‘๐‘ mod 2 . Show that ๐‘…๐‘… is an equivalence relation. ยฉ S. Turaev, CSC 1700 Discrete Mathematics 29
  • 30. Exercises : Relations ยฉ S. Turaev, CSC 1700 Discrete Mathematics 30
  • 31. Exercises : Relations ยฉ S. Turaev, CSC 1700 Discrete Mathematics 31
  • 32. Exercises : Relations ยฉ S. Turaev, CSC 1700 Discrete Mathematics 32