Skip to content
Official PYQ · 1999

GATE CS 1999 Q2.3 — Sets, Relations and Functions

Explain with AI

Let LL be a set with a relation RR which is transitive, anti-symmetric and reflexive and for any two elements a,b∈La, b \in L, let the least upper bound lub(a,b)lub (a, b) and the greatest lower bound glb(a,b)glb (a, b) exist. Which of the following is/are true?

Select all correct options
View worked solution

Answer: A;C

Let us analyze the given properties of the relation RR on the set LL:

  1. Reflexive, Anti-symmetric, and Transitive: By definition, a relation RR on a set LL that is reflexive, anti-symmetric, and transitive is a partial order relation. Therefore, the pair (L,R)(L, R) is a partially ordered set (poset).
    Hence, Option A is true.

  2. Existence of LUB and GLB: A poset (L,R)(L, R) is defined as a lattice if every pair of elements a,b∈La, b \in L has a unique least upper bound (lub(a,b)lub(a, b)) and a unique greatest lower bound (glb(a,b)glb(a, b)). Since the problem states that lub(a,b)lub(a, b) and glb(a,b)glb(a, b) exist for any two elements in LL, LL is indeed a lattice.
    Hence, Option C is true.

  3. Boolean Algebra: A lattice is a Boolean algebra if and only if it is both complemented and distributive. The given conditions do not guarantee distributivity or the existence of complements (for example, any non-distributive lattice like M3M_3 or N5N_5 satisfies the given conditions but is not a Boolean algebra).
    Hence, Option B is not necessarily true.

Thus, the correct options are A and C.

Free practice · Your answers on this page are not saved.

Published
Report a correction
Keep exploringMore Sets, Relations and Functions questions