Open In App
Related Articles

Partial Orders and Lattices

Improve Article
Save Article
Like Article

Relations can be used to order some or all the elements of a set. For instance, the set of Natural numbers is ordered by the relation \leq    such that for every ordered pair (x,y)    in the relation, the natural number x    comes before the natural number y    unless both are equal. Formally, “A relation R    on set A    is called a partial ordering or partial order if it is reflexive, anti-symmetric, and transitive. A set A    together with a partial ordering R    is called a partially ordered set or poset. The poset is denoted as (S,R)    .”  

Example: Show that the inclusion relation \subseteq    is a partial ordering on the power set of a set. 

Solution Since every set S\subseteq S    \subseteq    is reflexive. If S\subseteq R    and R\subseteq S    then R = S    , which means \subseteq    is anti-symmetric. It is transitive as R\subseteq S    and S\subseteq T    implies R\subseteq T    . Hence, \subseteq    is a partial ordering on P(S)    , and (P(S), \subseteq)    is a poset. 

Note: The symbol \preceq    is used to denote the relation in any poset. The notation a \prec b    is used to denote a \preceq b    but a \neq b

Comparability: Let a    and b    be the elements of a poset (S, \preceq)    , then a    and b    are said to be comparable if either a \preceq b    or b \preceq a    . Otherwise, a    and b    are said to be incomparable

  • Example – In the poset (Z^+, \mid)    (where Z^+    is the set of all positive integers and \mid    is the divides relation) are the integers 3 and 9 comparable? Are 7 and 10 comparable? 
  • Solution – 3 and 9 are comparable since 3 | 9    i.e. 3 divides 9. But 7 and 10 are not comparable since 7 \nmid 10    and 10 \nmid 7

Total Order: It is possible in a poset that for two elements a    and b    neither a\preceq b    nor b\preceq a    i.e. the elements a    and b    are incomparable. But in some cases, such as the poset (Z^+, \leq)    , every element is comparable to every other element. 

A poset (S, \preceq)    is called totally ordered if every two elements of S    are comparable. \preceq    i is called a total order. A totally ordered set is also called a chain. 

Hasse Diagrams: A partial order, being a relation, can be represented by a di-graph. But most of the edges do not need to be shown since it would be redundant. For instance, we know that every partial order is reflexive, so it is redundant to show the self-loops on every element of the set on which the partial order is defined. Every partial order is transitive, so all edges denoting transitivity can be removed. The directions on the edges can be ignored if all edges are presumed to have only one possible direction, conventionally upwards. In general, a partial order on a finite set can be represented using the following procedure is as follows: 

  1. Remove all self-loops from all the vertices. This removes all edges showing reflexivity.
  2. Remove all edges which are present due to transitivity i.e. if (a,b)    and (b,c)
    are in the partial order, then remove the edge (a,c)    . Furthermore if (c,d)    is in partial order, then remove the edge (a,d)    .
  3. Arrange all edges such that the initial vertex is below the terminal vertex.
  4. Remove all arrows on the directed edges, since all edges point upwards.

For example, the poset (\{1, 2, 3, 4\}, \leq)    would be converted to a Hasse diagram as follows:


The last figure in the above diagram contains sufficient information to find the partial ordering. This diagram is called a Hasse Diagram

Extremums in Posets: Elements of posets that have certain extremal properties are important for many applications. 

  • Maximal Elements: An element a    in the poset is said to be maximal if there is no element b    in the poset such that a \prec b    .
  • Minimal Elements:  An element a    in the poset is said to be minimal if there is no element b    in the poset such that b \prec a    .

Maximal and Minimal elements are easy to find in Hasse diagrams. They are the topmost and bottommost elements respectively. 
For example, in the hasse diagram described above, “1” is the minimal element and “4” is the maximal element. Since maximal and minimal are unique, they are also the greatest and least elements of the poset. 

Note: If the maximal or minimal element is unique, it is called the greatest or least element of the poset respectively. 

Bounds in Posets: It is sometimes possible to find an element that is greater than or equal to all the elements in a subset A    of poset (S, \preceq)    . Such an element is called the upper bound of A    . Similarly, we can also find the lower bound of. These bounds can be further constrained to get the least upper bound and the greatest lower bound. These bounds are elements that are less than or greater than all the other upper bounds or lower bounds respectively. 

Example: Find the least upper bound and greatest lower bound of the following subsets- \{b, c\}    \{g, e, a\}    \{e, f\}

Solution: For the set \{b, c\}
The upper bounds are – e, f, h, i    . So the least upper bound is e
The lower bounds are – a    . So the greatest lower bound is a
For the set \{g, e, a\}
The upper bounds are – h    . So the least upper bound is h
The lower bounds are – a    . So the greatest lower bound is a
For the set \{e, f\}
The upper bounds are – f, h, i    . So the least upper bound is f
The lower bounds are – e, c, b, a    . So the greatest lower bound is e

Lattices: A Poset in which every pair of elements has both, a least upper bound and a greatest 
lower bound is called a lattice. There are two binary operations defined for lattices –  

  1. Join: The join of two elements is their least upper bound. It is denoted by \vee    , not to be confused with disjunction.
  2. Meet: The meet of two elements is their greatest lower bound. It is denoted by \wedge    , not to be confused with a conjunction.

Sub Lattice: A sublattice of lattice L    is a subset S\subseteq L    such that if a,b \in S    , , and a\vee b \in S

Identities for join and meet:

    \begin{flalign*} &\bullet\: x\wedge x = x\:&&and\: x\vee x = x \\ &\bullet\: x\wedge y = y\wedge x\:&&and\: x\vee y = y\vee x \\ &\bullet\: (x\wedge y)\wedge z = x\wedge (y\wedge z)\:&&and\: (x\vee y)\vee z = x\vee (y\vee z) \\ &\bullet\: x\wedge (y\vee x) = x\:&&and\: x\vee (y\wedge x) = x \\ \end{flalign*}

Distributive laws may or may not hold true for a lattice: 

  1. x \wedge (y\vee z) = (x\wedge y) \vee (x\wedge z)
  2. x \vee (y\wedge z) = (x\vee y) \wedge (x\vee z)

Note: A lattice is called a distributive lattice if the distributive laws hold for it. 

But Semidistributive laws hold true for all lattices : 

  1. x \wedge (y\vee z) \geq (x\wedge y) \vee (x\wedge z)
  2. x \vee (y\wedge z) \leq (x\vee y) \wedge (x\vee z)

Two important properties of Distributive Lattices – 

  1. In any distributive lattice a\wedge y = a \wedge x    and a\vee y = a \vee x    together imply that x = y    .
  2. If a\wedge x = O    and a\vee x = I    , where O    and I    are the least and greatest elements of lattice, then a    and x    are said to be a complementary pair. O    and I    are a trivially complementary pair.

complemented lattice: Suppose L is a bounded lattice (with 0 and 1), and a?L(a belongs to L). A complement of a is an element b?L such that :

a?b=0 and a?b=1. 

Remark: Complements may not exist. If L is a non-trivial chain, then no element (other than 0 and 1) has a complement. This also shows that if a is a complement of a non-trivial element b, then a and b form an antichain.

An element in a bounded lattice is complemented if it has a complement.
A complemented lattice is a bounded lattice in which every element is complemented.

GATE CS Corner Questions

Practicing the following questions will help you test your knowledge. All questions have been asked in GATE in previous years or in GATE Mock Tests. It is highly recommended that you practice them. 

1. GATE CS 2007, Question 26 
2. GATE CS 2006, Question 4 
3. GATE CS 2005, Question 9 
4. GATE CS 2004, Question 73 
5. GATE CS 2015 Set-1, Question 44  


Partially Ordered Set – Wikipedia 
Lattices – Wikipedia 

If you like GeeksforGeeks and would like to contribute, you can also write an article using or mail your article to See your article appearing on the GeeksforGeeks main page and help other Geeks. 

Please write comments if you find anything incorrect, or if you want to share more information about the topic discussed above.

Level Up Your GATE Prep!
Embark on a transformative journey towards GATE success by choosing Data Science & AI as your second paper choice with our specialized course. If you find yourself lost in the vast landscape of the GATE syllabus, our program is the compass you need.

Last Updated : 11 Oct, 2023
Like Article
Save Article
Similar Reads