BASIC CONCEPT OF RELATIONS
Objectives:
At the end of the lessons, students are expected/should be able to;
1. Determine the different basic set identities.
2. Identify the different ways of proving set identities.
3. Show the step by step procedure in proving statements using basic set
identities.
If we want to describe a relationship between elements of two sets A and B, we can
use ordered pairs with their first element taken from A and their second element
taken from B.
Since this is a relation between two sets, it is called a binary relation.
Definition: Let A and B be sets. A binary relation from A to B is a subset of AB.
In other words, for a binary relation R we have
R  AB. We use the notation aRb to denote that (a, b)R and aRb to denote that
(a, b)R.
When (a, b) belongs to R, a is said to be related to b by R.
Example: Let P be a set of people, C be a set of cars, and D be the relation
describing which person drives which car(s).
P = {Carl, Suzanne, Peter, Carla},
C = {Mercedes, BMW, tricycle}
D = {(Carl, Mercedes), (Suzanne, Mercedes),
(Suzanne, BMW), (Peter, tricycle)}
This means that Carl drives a Mercedes, Suzanne drives a Mercedes and a BMW,
Peter drives a tricycle, and Carla does not drive any of these vehicles.
Functions as Relations
You might remember that a function f from a set A to a set B assigns a unique
element of B to each element of A.
The graph of f is the set of ordered pairs (a, b) such that b = f(a).
Since the graph of f is a subset of AB, it is a relation from A to B.
Moreover, for each element a of A, there is exactly one ordered pair in the graph that
has a as its first element.
Conversely, if R is a relation from A to B such that every element in A is the first
element of exactly one ordered pair of R, then a function can be defined with R as its
graph.
This is done by assigning to an element aA the unique element bB such that (a,
b)R.
Relations on a Set
Definition: A relation on the set A is a relation from A to A.
In other words, a relation on the set A is a subset of AA.
Example: Let A = {1, 2, 3, 4}. Which ordered pairs are in the relation R = {(a, b) | a <
b}?
Solution: R = {(1,2),(1,3),(1,4),(2,3),(2,4),(3,4)}
R 1 2 3 4
1 x x x
2 x x
3 x
4
How many different relations can we define on a set A with n elements?
A relation on a set A is a subset of AA.
How many elements are in AA ?
There are n2 elements in AA, so how many subsets (= relations on A) does AA
have?
The number of subsets that we can form out of a set with m elements is 2m.
Therefore, 2n^2 subsets can be formed out of AA.
Answer: We can define 2n^2 different relations on A.
Let A={a1, a2, ..ak} and B={b1,b2,..bm}.
The Cartesian product A x B is defined by a set of pairs {(a1 b1), (a1, b2), … (a1, bm),
…, (ak,bm)}.
Cartesian product defines a product set, or a set of all ordered arrangements of
elements in sets in the Cartesian product
Binary Relation
Definition: Let A and B be two sets. A binary relation from A to B is a subset of a
Cartesian product A x B.
Let R  A x B means R is a set of ordered pairs of the form (a,b) where a  A and b
 B.
We use the notation a R b to denote (a,b)  R and a R b to denote (a,b)  R. If a R
b, we say a is related to b by R.
Example: Let A={a,b,c} and B={1,2,3}.
Is R={(a,1),(b,2),(c,2)} a relation from A to B? Yes.
Is Q={(1,a),(2,b)} a relation from A to B? No.
Is P={(a,a),(b,c),(b,a)} a relation from A to A? Yes
Properties of Relations
Definitions:
A relation R on a set A is called symmetric if (b, a)R
whenever (a, b)R for all a, bA.
A relation R on a set A is called antisymmetric if a = b
whenever (a, b)R and (b, a)R.
A relation R on a set A is called asymmetric if (a, b)R
implies that (b, a)R for all a, bA.
Example:
For the following relations on {1, 2, 3, 4}.
1. R = {(1,1),(1,2),(2,1),(3,3),(4,4)} symmetric
2. R = {(1,1)} symmetric & antisymmetric
3. R = {(1,3),(3,2),(2,1)} antisymmetric & asymmetric
4. R = {(4,4),(3,3),(1,4)} asymmetric
Definition: A relation R on a set A is called transitive if whenever (a, b)R and
(b, c)R, then (a, c)R for a, b, cA.
Example:
For the following relations on {1, 2, 3, 4}.
1. R = {(1, 1), (1, 2), (2, 2), (2, 1), (3, 3)} Transitive
2. R = {(1, 3), (3, 2), (2, 1)} Not Transitive
3. R = {(2, 4), (4, 3), (2, 3), (4, 1)} Not Transitive
Definition (reflexive relation) : A relation R on a set A is called reflexive if (a,a)  R
for every element a  A.
Example 1: Assume relation R ={(a b), if a |b} on A = {1,2,3,4} , Is R reflexive?
R = {(1,1), (1,2), (1,3), (1,4), (2,2), (2,4), (3,3), (4,4)}
Answer: Yes. (1,1), (2,2), (3,3), and (4,4)  A.

More Related Content

PPTX
CMSC 56 | Lecture 16: Equivalence of Relations & Partial Ordering
PPTX
Section 9: Equivalence Relations & Cosets
PPTX
Himpunan plpg
PPT
Properties of relations
PPT
Partial-Orderings in Discrete Mathematics
PPT
Relations
PPTX
Relations
PPT
Relations
CMSC 56 | Lecture 16: Equivalence of Relations & Partial Ordering
Section 9: Equivalence Relations & Cosets
Himpunan plpg
Properties of relations
Partial-Orderings in Discrete Mathematics
Relations
Relations
Relations

What's hot (19)

PPT
operations on sets
PDF
Discrete-Chapter 08 Relations
PPTX
Sets and relations
PPT
PPTX
Drbmn relations
PPTX
Sets Class XI Chapter 1
PPS
sets and venn diagrams
PPT
Sadat sumon
PPTX
Set operations
PDF
Relations digraphs
PPTX
2.7 prove angle pair relationships
PPTX
How to Prove and Apply De Morgan's Laws
PDF
Chapter 2: Relations
PPTX
MIT Math Syllabus 10-3 Lesson 4: Rational exponents and radicals
PPTX
2.2 Set Operations
PPT
Set Operations
DOC
Final relation1 m_tech(cse)
PPTX
Lattices AND Hasse Diagrams
PPT
Set Operations Topic Including Union , Intersection, Disjoint etc De Morgans ...
operations on sets
Discrete-Chapter 08 Relations
Sets and relations
Drbmn relations
Sets Class XI Chapter 1
sets and venn diagrams
Sadat sumon
Set operations
Relations digraphs
2.7 prove angle pair relationships
How to Prove and Apply De Morgan's Laws
Chapter 2: Relations
MIT Math Syllabus 10-3 Lesson 4: Rational exponents and radicals
2.2 Set Operations
Set Operations
Final relation1 m_tech(cse)
Lattices AND Hasse Diagrams
Set Operations Topic Including Union , Intersection, Disjoint etc De Morgans ...
Ad

Similar to Week 5 ( basic concept of relation ) (20)

PPTX
Discrete Structures_Relations_Lec 1.pptx
DOC
Final relation1 m_tech(cse)
DOC
Final relation1 m_tech(cse)
PDF
Relations
PPT
inbound38351872686383732942924290993.ppt
PDF
duj28udehj82uh3duujd83uijdj3Relations lecture-1 (11th JEE
PPTX
Presentation_by_HADI[2][1] [Read-Only].pptx
PDF
class-xi-formulas physics+chemistry..pdf
PPTX
Relational Algebra (1).pptx
PPTX
dm_13_RelationsAndTheirProperties (1).pptx
PDF
Relation and it's type Discrete Mathematics.pdf
PDF
dm_13_RelationsAndTheirProperties (1).pdf
PPTX
SETS AND RELATIONS HAHAHAHAHAHAHAHAH.ppt
PDF
Lecture 3 (4).pdfbbbbbbbbbbbbbbbbbbbvvvvvvvvvvvvvvvvvvvvvvvvv
PDF
Lecture 3 (2).pdf,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
PPTX
Relation and function_xii
PPT
36_P17CSC101_202012110741597web technology concept object binary 2.ppt
PDF
Relations
PPTX
Relations in Discrete Math
PPTX
CMSC 56 | Lecture 13: Relations and their Properties
Discrete Structures_Relations_Lec 1.pptx
Final relation1 m_tech(cse)
Final relation1 m_tech(cse)
Relations
inbound38351872686383732942924290993.ppt
duj28udehj82uh3duujd83uijdj3Relations lecture-1 (11th JEE
Presentation_by_HADI[2][1] [Read-Only].pptx
class-xi-formulas physics+chemistry..pdf
Relational Algebra (1).pptx
dm_13_RelationsAndTheirProperties (1).pptx
Relation and it's type Discrete Mathematics.pdf
dm_13_RelationsAndTheirProperties (1).pdf
SETS AND RELATIONS HAHAHAHAHAHAHAHAH.ppt
Lecture 3 (4).pdfbbbbbbbbbbbbbbbbbbbvvvvvvvvvvvvvvvvvvvvvvvvv
Lecture 3 (2).pdf,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
Relation and function_xii
36_P17CSC101_202012110741597web technology concept object binary 2.ppt
Relations
Relations in Discrete Math
CMSC 56 | Lecture 13: Relations and their Properties
Ad

Recently uploaded (20)

PDF
CHALLENGES FACED BY TEACHERS WHEN TEACHING LEARNERS WITH DEVELOPMENTAL DISABI...
PPTX
2025 High Blood Pressure Guideline Slide Set.pptx
PPT
hsl powerpoint resource goyloveh feb 07.ppt
PDF
African Communication Research: A review
PDF
anganwadi services for the b.sc nursing and GNM
PPTX
ACFE CERTIFICATION TRAINING ON LAW.pptx
PDF
Chevening Scholarship Application and Interview Preparation Guide
PDF
Health aspects of bilberry: A review on its general benefits
PDF
POM_Unit1_Notes.pdf Introduction to Management #mba #bba #bcom #bballb #class...
PPTX
MMW-CHAPTER-1-final.pptx major Elementary Education
PPTX
Power Point PR B.Inggris 12 Ed. 2019.pptx
PPTX
Neurology of Systemic disease all systems
PPTX
4. Diagnosis and treatment planning in RPD.pptx
PDF
Horaris_Grups_25-26_Definitiu_15_07_25.pdf
DOCX
THEORY AND PRACTICE ASSIGNMENT SEMESTER MAY 2025.docx
PPTX
Copy of ARAL Program Primer_071725(1).pptx
PDF
WHAT NURSES SAY_ COMMUNICATION BEHAVIORS ASSOCIATED WITH THE COMP.pdf
PPTX
CHROMIUM & Glucose Tolerance Factor.pptx
PDF
GIÁO ÁN TIẾNG ANH 7 GLOBAL SUCCESS (CẢ NĂM) THEO CÔNG VĂN 5512 (2 CỘT) NĂM HỌ...
PDF
Physical pharmaceutics two in b pharmacy
CHALLENGES FACED BY TEACHERS WHEN TEACHING LEARNERS WITH DEVELOPMENTAL DISABI...
2025 High Blood Pressure Guideline Slide Set.pptx
hsl powerpoint resource goyloveh feb 07.ppt
African Communication Research: A review
anganwadi services for the b.sc nursing and GNM
ACFE CERTIFICATION TRAINING ON LAW.pptx
Chevening Scholarship Application and Interview Preparation Guide
Health aspects of bilberry: A review on its general benefits
POM_Unit1_Notes.pdf Introduction to Management #mba #bba #bcom #bballb #class...
MMW-CHAPTER-1-final.pptx major Elementary Education
Power Point PR B.Inggris 12 Ed. 2019.pptx
Neurology of Systemic disease all systems
4. Diagnosis and treatment planning in RPD.pptx
Horaris_Grups_25-26_Definitiu_15_07_25.pdf
THEORY AND PRACTICE ASSIGNMENT SEMESTER MAY 2025.docx
Copy of ARAL Program Primer_071725(1).pptx
WHAT NURSES SAY_ COMMUNICATION BEHAVIORS ASSOCIATED WITH THE COMP.pdf
CHROMIUM & Glucose Tolerance Factor.pptx
GIÁO ÁN TIẾNG ANH 7 GLOBAL SUCCESS (CẢ NĂM) THEO CÔNG VĂN 5512 (2 CỘT) NĂM HỌ...
Physical pharmaceutics two in b pharmacy

Week 5 ( basic concept of relation )

  • 1. BASIC CONCEPT OF RELATIONS Objectives: At the end of the lessons, students are expected/should be able to; 1. Determine the different basic set identities. 2. Identify the different ways of proving set identities. 3. Show the step by step procedure in proving statements using basic set identities. If we want to describe a relationship between elements of two sets A and B, we can use ordered pairs with their first element taken from A and their second element taken from B. Since this is a relation between two sets, it is called a binary relation. Definition: Let A and B be sets. A binary relation from A to B is a subset of AB. In other words, for a binary relation R we have R  AB. We use the notation aRb to denote that (a, b)R and aRb to denote that (a, b)R. When (a, b) belongs to R, a is said to be related to b by R. Example: Let P be a set of people, C be a set of cars, and D be the relation describing which person drives which car(s). P = {Carl, Suzanne, Peter, Carla}, C = {Mercedes, BMW, tricycle} D = {(Carl, Mercedes), (Suzanne, Mercedes), (Suzanne, BMW), (Peter, tricycle)} This means that Carl drives a Mercedes, Suzanne drives a Mercedes and a BMW, Peter drives a tricycle, and Carla does not drive any of these vehicles. Functions as Relations You might remember that a function f from a set A to a set B assigns a unique element of B to each element of A. The graph of f is the set of ordered pairs (a, b) such that b = f(a). Since the graph of f is a subset of AB, it is a relation from A to B. Moreover, for each element a of A, there is exactly one ordered pair in the graph that has a as its first element. Conversely, if R is a relation from A to B such that every element in A is the first element of exactly one ordered pair of R, then a function can be defined with R as its graph.
  • 2. This is done by assigning to an element aA the unique element bB such that (a, b)R. Relations on a Set Definition: A relation on the set A is a relation from A to A. In other words, a relation on the set A is a subset of AA. Example: Let A = {1, 2, 3, 4}. Which ordered pairs are in the relation R = {(a, b) | a < b}? Solution: R = {(1,2),(1,3),(1,4),(2,3),(2,4),(3,4)} R 1 2 3 4 1 x x x 2 x x 3 x 4 How many different relations can we define on a set A with n elements? A relation on a set A is a subset of AA. How many elements are in AA ? There are n2 elements in AA, so how many subsets (= relations on A) does AA have? The number of subsets that we can form out of a set with m elements is 2m. Therefore, 2n^2 subsets can be formed out of AA. Answer: We can define 2n^2 different relations on A. Let A={a1, a2, ..ak} and B={b1,b2,..bm}. The Cartesian product A x B is defined by a set of pairs {(a1 b1), (a1, b2), … (a1, bm), …, (ak,bm)}. Cartesian product defines a product set, or a set of all ordered arrangements of elements in sets in the Cartesian product Binary Relation Definition: Let A and B be two sets. A binary relation from A to B is a subset of a Cartesian product A x B. Let R  A x B means R is a set of ordered pairs of the form (a,b) where a  A and b  B.
  • 3. We use the notation a R b to denote (a,b)  R and a R b to denote (a,b)  R. If a R b, we say a is related to b by R. Example: Let A={a,b,c} and B={1,2,3}. Is R={(a,1),(b,2),(c,2)} a relation from A to B? Yes. Is Q={(1,a),(2,b)} a relation from A to B? No. Is P={(a,a),(b,c),(b,a)} a relation from A to A? Yes Properties of Relations Definitions: A relation R on a set A is called symmetric if (b, a)R whenever (a, b)R for all a, bA. A relation R on a set A is called antisymmetric if a = b whenever (a, b)R and (b, a)R. A relation R on a set A is called asymmetric if (a, b)R implies that (b, a)R for all a, bA. Example: For the following relations on {1, 2, 3, 4}. 1. R = {(1,1),(1,2),(2,1),(3,3),(4,4)} symmetric 2. R = {(1,1)} symmetric & antisymmetric 3. R = {(1,3),(3,2),(2,1)} antisymmetric & asymmetric 4. R = {(4,4),(3,3),(1,4)} asymmetric Definition: A relation R on a set A is called transitive if whenever (a, b)R and (b, c)R, then (a, c)R for a, b, cA. Example: For the following relations on {1, 2, 3, 4}. 1. R = {(1, 1), (1, 2), (2, 2), (2, 1), (3, 3)} Transitive 2. R = {(1, 3), (3, 2), (2, 1)} Not Transitive 3. R = {(2, 4), (4, 3), (2, 3), (4, 1)} Not Transitive
  • 4. Definition (reflexive relation) : A relation R on a set A is called reflexive if (a,a)  R for every element a  A. Example 1: Assume relation R ={(a b), if a |b} on A = {1,2,3,4} , Is R reflexive? R = {(1,1), (1,2), (1,3), (1,4), (2,2), (2,4), (3,3), (4,4)} Answer: Yes. (1,1), (2,2), (3,3), and (4,4)  A.