1. Relations - POSET
Ms.Rachana Pathak
(rachanarpathak@gmail.com)
Assistant Professor, Dept of Computer Science and Engineering
Walchand Institute of Technology, Solapur
(www.witsolapur.org)
3. Prerequisite
• Basics of Discrete Mathematics
• Basics of Relation (for reference go to video 1)
Walchand Institute of Technology, Solapur 3
4. Introduction
Walchand Institute of Technology, Solapur 4
• Partial Ordered Set (POSET) :
• A relation R on a set A is called a partial order if R is reflexive,
anti-symmetric and transitive.
• The set A together with the partial order R is called a partially
ordered set, or simply a poset, denoted by (A, R)
• Let A be a collection of subsets of a set S. The relation ⊆ of set
inclusion is a partial order on A, so (A, ⊆ ) is a poset.
5. Example
• Show that the relation “greater than or equal to” is a partial ordering
on the set of integers.
Solution :
Let Z be the set of all integers and the relation R = ‘≥’
• Since a ≥ a for every integer a, the relation ‘≥’ is reflexive.
• Let a and b be any two integers.
• Let aRb and bRa => a ≥ b and b ≥a
• => a=b
∴ The relation ‘≥’ is antisymmetric.
Walchand Institute of Technology, Solapur 5
6. Let a,b and c be any three integers.
Let a ≥ b and b ≥ c
a ≥c
The relation ‘≥’ is transitive.
Since, the relation is transitive, reflexive and anti-symmetric, ≥ is
a partial ordering on the set of integers.
Therefore,(Z, ≥) is a POSET.
Walchand Institute of Technology, Solapur 6
7. Walchand Institute of Technology, Solapur
7
Partial Ordering Relation
Transitive
Anti-
symmetric
Reflexive
8. Think & Write
Question : Can we say if any one or two conditions satisifies then
it is partial order?
Walchand Institute of Technology, Solapur 8
9. Answer
No, it should satisfy all the three conditions.
Transitive
Reflexive
Anti-symmetric
Walchand Institute of Technology, Solapur 9
10. Example
For,
Set A ={1,2,3}
R1 = {}
R2 = { (1,1)(2,2)(3,3)}
R3 = {(1,1)(2,2)(3,3)(1,2)(2,1)}
R4 = {(1,1)(2,2)(3,3)(1,3)(2,3)}
R5 = {(1,1)(1,2)(2,3)(1,3)}
R6 = {(1,1)(1,3)(2,2)(2,3)(3,3)}
Walchand Institute of Technology, Solapur 10
11. Conclusion :
In this session, We have studied all about POSET.
Walchand Institute of Technology, Solapur 11
12. References
• 1. Discrete mathematical structures with applications to computer science -- J. P.
Tremblay & R. Manohar (MGH International)
• Reference Books:
• 1. Discrete Mathematics with combinatorics and graph theory- S. SNTHA
(CENGAGE Learning)
• 2. Discrete Mathematical Structures – Bernard Kolman, Robert C. Busby (Pearson
Education)
• 3. Discrete mathematics -- Liu (MGH)
12Walchand Institute of Technology, Solapur