SlideShare a Scribd company logo
1 of 16
SETS AND RELATIONS BY:SURBHI SAROHA
SYLLABUS
Set Operations
Representations and Properties of Relations
Equivalence Relations
Partially Ordering
SET OPERATIONS
Set operations is a concept similar to fundamental operations on
numbers.
Sets in math deal with a finite collection of objects, be it numbers,
alphabets, or any real-world objects.
Sometimes a necessity arises wherein we need to establish the
relationship between two or more sets.
There comes the concept of set operations.
There are four main set operations which include set union, set
intersection, set complement, and set difference.
THERE ARE FOUR MAIN KINDS OF
SET OPERATIONS WHICH ARE:
Union of sets
Intersection of sets
Complement of a set
Difference between sets/Relative Complement
UNION OF SETS
For two given sets A and B,
A∪B (read as A union B) is the set of distinct elements that belong to
set A and B or both.
The number of elements in A ∪ B is given by
n(A∪B) = n(A) + n(B) − n(A∩B),
where n(X) is the number of elements in set X.
To understand this set operation of the union of sets better, let us
consider an example:
If A = {1, 2, 3, 4} and B = {4, 5, 6, 7}, then the union of A and B is
given by A ∪ B = {1, 2, 3, 4, 5, 6, 7}.
INTERSECTION OF SETS
For two given sets A and B, A∩B (read as A intersection B) is the set of
common elements that belong to set A and B.
The number of elements in A∩B is given by
n(A∩B) = n(A)+n(B)−n(A∪B),
where n(X) is the number of elements in set X.
To understand this set operation of the intersection of sets better, let
us consider an example:
If A = {1, 2, 3, 4} and B = {3, 4, 5, 7}, then the intersection of A and B
is given by A ∩ B = {3, 4}.
SET DIFFERENCE
The set operation difference between sets implies subtracting the
elements from a set which is similar to the concept of the difference
between numbers.
The difference between sets A and B denoted as A − B lists all the
elements that are in set A but not in set B.
To understand this set operation of set difference better, let us
consider an example: If
A = {1, 2, 3, 4} and B = {3, 4, 5, 7}, then the difference between sets
A and B is given by A - B = {1, 2}.
COMPLEMENT OF SETS
The complement of a set A denoted as A′ or Ac (read as A
complement) is defined as the set of all the elements in the given
universal set(U) that are not present in set A.
To understand this set operation of complement of sets better, let us
consider an example:
If U = {1, 2, 3, 4, 5, 6, 7, 8, 9} and A = {1, 2, 3, 4}, then the
complement of set A is given by A' = {5, 6, 7, 8, 9}.
TYPES OF RELATIONS
There are 8 main types of relations which include:
Empty Relation
Universal Relation
Identity Relation
Inverse Relation
Reflexive Relation
Symmetric Relation
Transitive Relation
Equivalence Relation
TYPES OF RELATIONS(CONT….)
Empty Relation
An empty relation (or void relation) is one in which there is no relation
between any elements of a set. For example, if set A = {1, 2, 3} then, one of
the void relations can be R = {x, y} where, |x – y| = 8. For empty relation,
R = φ ⊂ A × A
Universal Relation
A universal (or full relation) is a type of relation in which every element of a
set is related to each other. Consider set A = {a, b, c}. Now one of the
universal relations will be R = {x, y} where, |x – y| ≥ 0. For universal relation,
R = A × A
TYPES OF RELATIONS(CONT….)
Identity Relation
In an identity relation, every element of a set is related to itself only.
For example, in a set A = {a, b, c}, the identity relation will be I = {a,
a}, {b, b}, {c, c}. For identity relation,
I = {(a, a), a ∈ A}
Inverse Relation
Inverse relation is seen when a set has elements which are inverse
pairs of another set. For example if set A = {(a, b), (c, d)}, then inverse
relation will be R-1 = {(b, a), (d, c)}. So, for an inverse relation,
R-1 = {(b, a): (a, b) ∈ R}
TYPES OF RELATIONS(CONT….)
Reflexive Relation
In a reflexive relation, every element maps to itself. For example, consider a set
A = {1, 2,}. Now an example of reflexive relation will be R = {(1, 1), (2, 2), (1, 2),
(2, 1)}. The reflexive relation is given by-
(a, a) ∈ R
Symmetric Relation
In a symmetric relation, if a=b is true then b=a is also true. In other words, a
relation R is symmetric only if (b, a) ∈ R is true when (a,b) ∈ R. An example of
symmetric relation will be R = {(1, 2), (2, 1)} for a set A = {1, 2}. So, for a
symmetric relation,
aRb ⇒ bRa, ∀ a, b ∈ A
.
TYPES OF RELATIONS(CONT….)
Transitive Relation
For transitive relation, if (x, y) ∈ R, (y, z) ∈ R, then (x, z) ∈ R. For a
transitive relation,
aRb and bRc ⇒ aRc ∀ a, b, c ∈ A
Equivalence Relation
If a relation is reflexive, symmetric and transitive at the same time it
is known as an equivalence relation
PARTIALLY ORDERING
Partial Order Relations
A relation R on a set A is called a partial order relation if it satisfies
the following three properties:
Relation R is Reflexive, i.e. aRa ∀ a∈A.
Relation R is Antisymmetric, i.e., aRb and bRa ⟹ a = b.
Relation R is transitive, i.e., aRb and bRc ⟹ aRc.
THANK YOU

More Related Content

What's hot

Relations
RelationsRelations
Relations
Gaditek
 
SET THEORY
SET THEORYSET THEORY
SET THEORY
Lena
 

What's hot (20)

Hasse diagram
Hasse diagramHasse diagram
Hasse diagram
 
Relations
RelationsRelations
Relations
 
Vector space
Vector spaceVector space
Vector space
 
Poset in Relations(Discrete Mathematics)
Poset in Relations(Discrete Mathematics)Poset in Relations(Discrete Mathematics)
Poset in Relations(Discrete Mathematics)
 
Section 9: Equivalence Relations & Cosets
Section 9: Equivalence Relations & CosetsSection 9: Equivalence Relations & Cosets
Section 9: Equivalence Relations & Cosets
 
Sets PowerPoint Presentation
Sets PowerPoint PresentationSets PowerPoint Presentation
Sets PowerPoint Presentation
 
Set theory
Set theorySet theory
Set theory
 
Graphs - Discrete Math
Graphs - Discrete MathGraphs - Discrete Math
Graphs - Discrete Math
 
Maths sets ppt
Maths sets pptMaths sets ppt
Maths sets ppt
 
Graph theory and its applications
Graph theory and its applicationsGraph theory and its applications
Graph theory and its applications
 
Graph theory
Graph theoryGraph theory
Graph theory
 
SET THEORY
SET THEORYSET THEORY
SET THEORY
 
Introduction to set theory
Introduction to set theoryIntroduction to set theory
Introduction to set theory
 
Isomorphism in Math
Isomorphism in MathIsomorphism in Math
Isomorphism in Math
 
Set theory
Set theory Set theory
Set theory
 
Attribute grammer
Attribute grammerAttribute grammer
Attribute grammer
 
Ring
RingRing
Ring
 
Echelon forms
Echelon formsEchelon forms
Echelon forms
 
Group abstract algebra
Group  abstract algebraGroup  abstract algebra
Group abstract algebra
 
Independence, basis and dimension
Independence, basis and dimensionIndependence, basis and dimension
Independence, basis and dimension
 

Similar to Sets and relations

Relational Algebra (1).pptx
Relational Algebra (1).pptxRelational Algebra (1).pptx
Relational Algebra (1).pptx
SarowarSuman
 
Set Theory - Unit -II (Mathematical Foundation Of Computer Science).pptx
Set Theory - Unit -II (Mathematical Foundation  Of  Computer Science).pptxSet Theory - Unit -II (Mathematical Foundation  Of  Computer Science).pptx
Set Theory - Unit -II (Mathematical Foundation Of Computer Science).pptx
KalirajMariappan
 
POWERPOINT (SETS & FUNCTIONS).pdf
POWERPOINT (SETS & FUNCTIONS).pdfPOWERPOINT (SETS & FUNCTIONS).pdf
POWERPOINT (SETS & FUNCTIONS).pdf
MaryAnnBatac1
 

Similar to Sets and relations (20)

G-1-SETS.pdf
G-1-SETS.pdfG-1-SETS.pdf
G-1-SETS.pdf
 
Relational Algebra (1).pptx
Relational Algebra (1).pptxRelational Algebra (1).pptx
Relational Algebra (1).pptx
 
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
 
Final relation1 m_tech(cse)
Final relation1 m_tech(cse)Final relation1 m_tech(cse)
Final relation1 m_tech(cse)
 
Final relation1 m_tech(cse)
Final relation1 m_tech(cse)Final relation1 m_tech(cse)
Final relation1 m_tech(cse)
 
Final relation1 m_tech(cse)
Final relation1 m_tech(cse)Final relation1 m_tech(cse)
Final relation1 m_tech(cse)
 
Set Theory - Unit -II (Mathematical Foundation Of Computer Science).pptx
Set Theory - Unit -II (Mathematical Foundation  Of  Computer Science).pptxSet Theory - Unit -II (Mathematical Foundation  Of  Computer Science).pptx
Set Theory - Unit -II (Mathematical Foundation Of Computer Science).pptx
 
Relation and function
Relation and functionRelation and function
Relation and function
 
Lemh101
Lemh101Lemh101
Lemh101
 
POWERPOINT (SETS & FUNCTIONS).pdf
POWERPOINT (SETS & FUNCTIONS).pdfPOWERPOINT (SETS & FUNCTIONS).pdf
POWERPOINT (SETS & FUNCTIONS).pdf
 
Relation and function_xii
Relation and function_xiiRelation and function_xii
Relation and function_xii
 
Week 5 ( basic concept of relation )
Week 5 ( basic concept of relation )Week 5 ( basic concept of relation )
Week 5 ( basic concept of relation )
 
Mathematics JEE quick revision notes pdf
Mathematics JEE quick revision notes pdfMathematics JEE quick revision notes pdf
Mathematics JEE quick revision notes pdf
 
Per5 relasi
Per5 relasiPer5 relasi
Per5 relasi
 
Relations
RelationsRelations
Relations
 
basics of autometa theory for beginner .
basics of autometa theory for beginner .basics of autometa theory for beginner .
basics of autometa theory for beginner .
 
Discrete mathematics OR Structure
Discrete mathematics OR Structure Discrete mathematics OR Structure
Discrete mathematics OR Structure
 
Partial-Orderings in Discrete Mathematics
 Partial-Orderings in Discrete Mathematics Partial-Orderings in Discrete Mathematics
Partial-Orderings in Discrete Mathematics
 
24 partial-orderings
24 partial-orderings24 partial-orderings
24 partial-orderings
 
Power point for Theory of computation and detail
Power point for Theory of computation and detailPower point for Theory of computation and detail
Power point for Theory of computation and detail
 

More from SURBHI SAROHA (20)

Cloud Computing (Infrastructure as a Service)UNIT 2
Cloud Computing (Infrastructure as a Service)UNIT 2Cloud Computing (Infrastructure as a Service)UNIT 2
Cloud Computing (Infrastructure as a Service)UNIT 2
 
Management Information System(Unit 2).pptx
Management Information System(Unit 2).pptxManagement Information System(Unit 2).pptx
Management Information System(Unit 2).pptx
 
Searching in Data Structure(Linear search and Binary search)
Searching in Data Structure(Linear search and Binary search)Searching in Data Structure(Linear search and Binary search)
Searching in Data Structure(Linear search and Binary search)
 
Management Information System(UNIT 1).pptx
Management Information System(UNIT 1).pptxManagement Information System(UNIT 1).pptx
Management Information System(UNIT 1).pptx
 
Introduction to Cloud Computing(UNIT 1).pptx
Introduction to Cloud Computing(UNIT 1).pptxIntroduction to Cloud Computing(UNIT 1).pptx
Introduction to Cloud Computing(UNIT 1).pptx
 
JAVA (UNIT 5)
JAVA (UNIT 5)JAVA (UNIT 5)
JAVA (UNIT 5)
 
DBMS (UNIT 5)
DBMS (UNIT 5)DBMS (UNIT 5)
DBMS (UNIT 5)
 
DBMS UNIT 4
DBMS UNIT 4DBMS UNIT 4
DBMS UNIT 4
 
JAVA(UNIT 4)
JAVA(UNIT 4)JAVA(UNIT 4)
JAVA(UNIT 4)
 
OOPs & C++(UNIT 5)
OOPs & C++(UNIT 5)OOPs & C++(UNIT 5)
OOPs & C++(UNIT 5)
 
OOPS & C++(UNIT 4)
OOPS & C++(UNIT 4)OOPS & C++(UNIT 4)
OOPS & C++(UNIT 4)
 
DBMS UNIT 3
DBMS UNIT 3DBMS UNIT 3
DBMS UNIT 3
 
JAVA (UNIT 3)
JAVA (UNIT 3)JAVA (UNIT 3)
JAVA (UNIT 3)
 
Keys in dbms(UNIT 2)
Keys in dbms(UNIT 2)Keys in dbms(UNIT 2)
Keys in dbms(UNIT 2)
 
DBMS (UNIT 2)
DBMS (UNIT 2)DBMS (UNIT 2)
DBMS (UNIT 2)
 
JAVA UNIT 2
JAVA UNIT 2JAVA UNIT 2
JAVA UNIT 2
 
Database Management System(UNIT 1)
Database Management System(UNIT 1)Database Management System(UNIT 1)
Database Management System(UNIT 1)
 
Object-Oriented Programming with Java UNIT 1
Object-Oriented Programming with Java UNIT 1Object-Oriented Programming with Java UNIT 1
Object-Oriented Programming with Java UNIT 1
 
Database Management System(UNIT 1)
Database Management System(UNIT 1)Database Management System(UNIT 1)
Database Management System(UNIT 1)
 
OOPs & C++ UNIT 3
OOPs & C++ UNIT 3OOPs & C++ UNIT 3
OOPs & C++ UNIT 3
 

Recently uploaded

1029-Danh muc Sach Giao Khoa khoi 6.pdf
1029-Danh muc Sach Giao Khoa khoi  6.pdf1029-Danh muc Sach Giao Khoa khoi  6.pdf
1029-Danh muc Sach Giao Khoa khoi 6.pdf
QucHHunhnh
 
Kisan Call Centre - To harness potential of ICT in Agriculture by answer farm...
Kisan Call Centre - To harness potential of ICT in Agriculture by answer farm...Kisan Call Centre - To harness potential of ICT in Agriculture by answer farm...
Kisan Call Centre - To harness potential of ICT in Agriculture by answer farm...
Krashi Coaching
 
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
QucHHunhnh
 

Recently uploaded (20)

Accessible design: Minimum effort, maximum impact
Accessible design: Minimum effort, maximum impactAccessible design: Minimum effort, maximum impact
Accessible design: Minimum effort, maximum impact
 
microwave assisted reaction. General introduction
microwave assisted reaction. General introductionmicrowave assisted reaction. General introduction
microwave assisted reaction. General introduction
 
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...
 
Interactive Powerpoint_How to Master effective communication
Interactive Powerpoint_How to Master effective communicationInteractive Powerpoint_How to Master effective communication
Interactive Powerpoint_How to Master effective communication
 
Measures of Dispersion and Variability: Range, QD, AD and SD
Measures of Dispersion and Variability: Range, QD, AD and SDMeasures of Dispersion and Variability: Range, QD, AD and SD
Measures of Dispersion and Variability: Range, QD, AD and SD
 
Arihant handbook biology for class 11 .pdf
Arihant handbook biology for class 11 .pdfArihant handbook biology for class 11 .pdf
Arihant handbook biology for class 11 .pdf
 
Student login on Anyboli platform.helpin
Student login on Anyboli platform.helpinStudent login on Anyboli platform.helpin
Student login on Anyboli platform.helpin
 
Introduction to Nonprofit Accounting: The Basics
Introduction to Nonprofit Accounting: The BasicsIntroduction to Nonprofit Accounting: The Basics
Introduction to Nonprofit Accounting: The Basics
 
1029-Danh muc Sach Giao Khoa khoi 6.pdf
1029-Danh muc Sach Giao Khoa khoi  6.pdf1029-Danh muc Sach Giao Khoa khoi  6.pdf
1029-Danh muc Sach Giao Khoa khoi 6.pdf
 
Kisan Call Centre - To harness potential of ICT in Agriculture by answer farm...
Kisan Call Centre - To harness potential of ICT in Agriculture by answer farm...Kisan Call Centre - To harness potential of ICT in Agriculture by answer farm...
Kisan Call Centre - To harness potential of ICT in Agriculture by answer farm...
 
Advance Mobile Application Development class 07
Advance Mobile Application Development class 07Advance Mobile Application Development class 07
Advance Mobile Application Development class 07
 
Mattingly "AI & Prompt Design: Structured Data, Assistants, & RAG"
Mattingly "AI & Prompt Design: Structured Data, Assistants, & RAG"Mattingly "AI & Prompt Design: Structured Data, Assistants, & RAG"
Mattingly "AI & Prompt Design: Structured Data, Assistants, & RAG"
 
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
 
Q4-W6-Restating Informational Text Grade 3
Q4-W6-Restating Informational Text Grade 3Q4-W6-Restating Informational Text Grade 3
Q4-W6-Restating Informational Text Grade 3
 
Mattingly "AI & Prompt Design: The Basics of Prompt Design"
Mattingly "AI & Prompt Design: The Basics of Prompt Design"Mattingly "AI & Prompt Design: The Basics of Prompt Design"
Mattingly "AI & Prompt Design: The Basics of Prompt Design"
 
fourth grading exam for kindergarten in writing
fourth grading exam for kindergarten in writingfourth grading exam for kindergarten in writing
fourth grading exam for kindergarten in writing
 
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
 
Software Engineering Methodologies (overview)
Software Engineering Methodologies (overview)Software Engineering Methodologies (overview)
Software Engineering Methodologies (overview)
 
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
 
SOCIAL AND HISTORICAL CONTEXT - LFTVD.pptx
SOCIAL AND HISTORICAL CONTEXT - LFTVD.pptxSOCIAL AND HISTORICAL CONTEXT - LFTVD.pptx
SOCIAL AND HISTORICAL CONTEXT - LFTVD.pptx
 

Sets and relations

  • 1. SETS AND RELATIONS BY:SURBHI SAROHA
  • 2. SYLLABUS Set Operations Representations and Properties of Relations Equivalence Relations Partially Ordering
  • 3. SET OPERATIONS Set operations is a concept similar to fundamental operations on numbers. Sets in math deal with a finite collection of objects, be it numbers, alphabets, or any real-world objects. Sometimes a necessity arises wherein we need to establish the relationship between two or more sets. There comes the concept of set operations. There are four main set operations which include set union, set intersection, set complement, and set difference.
  • 4. THERE ARE FOUR MAIN KINDS OF SET OPERATIONS WHICH ARE: Union of sets Intersection of sets Complement of a set Difference between sets/Relative Complement
  • 5. UNION OF SETS For two given sets A and B, A∪B (read as A union B) is the set of distinct elements that belong to set A and B or both. The number of elements in A ∪ B is given by n(A∪B) = n(A) + n(B) − n(A∩B), where n(X) is the number of elements in set X. To understand this set operation of the union of sets better, let us consider an example: If A = {1, 2, 3, 4} and B = {4, 5, 6, 7}, then the union of A and B is given by A ∪ B = {1, 2, 3, 4, 5, 6, 7}.
  • 6. INTERSECTION OF SETS For two given sets A and B, A∩B (read as A intersection B) is the set of common elements that belong to set A and B. The number of elements in A∩B is given by n(A∩B) = n(A)+n(B)−n(A∪B), where n(X) is the number of elements in set X. To understand this set operation of the intersection of sets better, let us consider an example: If A = {1, 2, 3, 4} and B = {3, 4, 5, 7}, then the intersection of A and B is given by A ∩ B = {3, 4}.
  • 7. SET DIFFERENCE The set operation difference between sets implies subtracting the elements from a set which is similar to the concept of the difference between numbers. The difference between sets A and B denoted as A − B lists all the elements that are in set A but not in set B. To understand this set operation of set difference better, let us consider an example: If A = {1, 2, 3, 4} and B = {3, 4, 5, 7}, then the difference between sets A and B is given by A - B = {1, 2}.
  • 8. COMPLEMENT OF SETS The complement of a set A denoted as A′ or Ac (read as A complement) is defined as the set of all the elements in the given universal set(U) that are not present in set A. To understand this set operation of complement of sets better, let us consider an example: If U = {1, 2, 3, 4, 5, 6, 7, 8, 9} and A = {1, 2, 3, 4}, then the complement of set A is given by A' = {5, 6, 7, 8, 9}.
  • 9.
  • 10. TYPES OF RELATIONS There are 8 main types of relations which include: Empty Relation Universal Relation Identity Relation Inverse Relation Reflexive Relation Symmetric Relation Transitive Relation Equivalence Relation
  • 11. TYPES OF RELATIONS(CONT….) Empty Relation An empty relation (or void relation) is one in which there is no relation between any elements of a set. For example, if set A = {1, 2, 3} then, one of the void relations can be R = {x, y} where, |x – y| = 8. For empty relation, R = φ ⊂ A × A Universal Relation A universal (or full relation) is a type of relation in which every element of a set is related to each other. Consider set A = {a, b, c}. Now one of the universal relations will be R = {x, y} where, |x – y| ≥ 0. For universal relation, R = A × A
  • 12. TYPES OF RELATIONS(CONT….) Identity Relation In an identity relation, every element of a set is related to itself only. For example, in a set A = {a, b, c}, the identity relation will be I = {a, a}, {b, b}, {c, c}. For identity relation, I = {(a, a), a ∈ A} Inverse Relation Inverse relation is seen when a set has elements which are inverse pairs of another set. For example if set A = {(a, b), (c, d)}, then inverse relation will be R-1 = {(b, a), (d, c)}. So, for an inverse relation, R-1 = {(b, a): (a, b) ∈ R}
  • 13. TYPES OF RELATIONS(CONT….) Reflexive Relation In a reflexive relation, every element maps to itself. For example, consider a set A = {1, 2,}. Now an example of reflexive relation will be R = {(1, 1), (2, 2), (1, 2), (2, 1)}. The reflexive relation is given by- (a, a) ∈ R Symmetric Relation In a symmetric relation, if a=b is true then b=a is also true. In other words, a relation R is symmetric only if (b, a) ∈ R is true when (a,b) ∈ R. An example of symmetric relation will be R = {(1, 2), (2, 1)} for a set A = {1, 2}. So, for a symmetric relation, aRb ⇒ bRa, ∀ a, b ∈ A .
  • 14. TYPES OF RELATIONS(CONT….) Transitive Relation For transitive relation, if (x, y) ∈ R, (y, z) ∈ R, then (x, z) ∈ R. For a transitive relation, aRb and bRc ⇒ aRc ∀ a, b, c ∈ A Equivalence Relation If a relation is reflexive, symmetric and transitive at the same time it is known as an equivalence relation
  • 15. PARTIALLY ORDERING Partial Order Relations A relation R on a set A is called a partial order relation if it satisfies the following three properties: Relation R is Reflexive, i.e. aRa ∀ a∈A. Relation R is Antisymmetric, i.e., aRb and bRa ⟹ a = b. Relation R is transitive, i.e., aRb and bRc ⟹ aRc.