Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Let $(A, \leq)$ be a poset and $B \subseteq A$. I need to show

i) B may have at most one least upper bound in A

ii) B may have at most one greatest lower bound in A.

share|cite|improve this question
up vote 3 down vote accepted

This is really a matter of unpacking and applying the definitions of what it means

  • for $A$ to be a poset (poset: "partially ordered set")

    • (See also the section of that entry subtitled Extrema)
  • for $B$ to be a subset of $A$,
  • for a set to have a least upper bound (lub) and
  • for a set to have greatest lower bound (glb).

Recall the definition of a least upper bound as:

Let S be a poset:

  1. $\alpha$ is an upper bound for S if $x \leq \alpha \space \forall x \in S$, (upper and lower bounds are NOT unique) and
  2. $\beta$ is the least upper bound for S if $\beta$ is an upper bound, and $\beta \leq \alpha$ whenever $\alpha$ is an upper bound for S.

A symmetrical definition defines the greatest lower bound.

share|cite|improve this answer
Sorry i m a newbie with this. I get the least upper bound but cant it it more than 1 least upper bound? – Ahmed Apr 14 '13 at 17:01
The least upperbound and the greatest lower bound are unique. But there can be infinitely many "upper" or "lower" bounds. We're interested here in the least/greatest (respectively) bounds. – amWhy Apr 14 '13 at 17:08
Also note that you are asked to show that $B$ has at most one least upper bound in A, at most one greatest lower bound in A. It may be the case that no such lub or glb for $B$ exists in $A$, but if either does exist in A, then it is the unique lub/glb of $B$ in A, respectively. Make sure you're clear about such bounds for $A$, given it's a poset. Then figure out what this means with respect to lub/glb bounds for $B\subset A$. – amWhy Apr 14 '13 at 18:10
How are you coming on this question, Ahmed? – amWhy Apr 14 '13 at 19:12
still confused i m reading book right now. But still trying. – Ahmed Apr 14 '13 at 19:14

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.