- A(GLB-3, LUB – 36); B(GLB-1, LUB – 20)
What is poset(z+. /)?
Partially ordered set (poset) of all positive integers with the relation “/” which means “divides”.
z+ is set of positive integers. So this set contains {1,2,3,4,5,6,7,…..}
E.g. 6/3 = 2, thus 3 divides 6
What is Least Upper Bound for given set?
Find a value u such that for every element s of set S, s <relation> u exists.
For {3,9,12} – Find least (smallest) number (say M), for which 3, 9, 12 “divides” M. Because our relation is “/”, this is equivalent to finding LCM (Least Common Multiple) of 3, 9, 12. Thus we get LUB as 12x3=9x4=36. (3, 9 and 12 divide 36)
What is Greatest Lower Bound?
Find value l such that for every element s of set S, l <relation> s exists
For {3,9,12} – Find greatest number less than or equal to an element within {3,9,12}, which “divides” {3,9,12}
Thus GLB is 3 as 3 “divides” {3,9,12}. Because our relation is “/”, this is equivalent to finding HCF (Highest Common Factor) of 3, 9, 12.
[NOTE: GLB and LUB are values which must belong to the poset (z+,/) but need not necessarily belong to the set which they bound.]
Explanation of poset on Wolfram MathWorld
Definition of poset on Wolfram MathWorld
[Here, the symbol “ ≤ “ refers to the relation e.g. for our case, the relation is “/” or “divides”.]