Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

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

I know that it's very elementary question but I still don't fully understand difference between maximal element and greatest element. If it's possible, please explain to me this difference with some examples etc.

I tried to explain this difference to myself using only definition, but maximal element and greatest element still seems almost the same for me.

Thank you.

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

You are maximal when there is nobody above you.

You are greatest when you are above everyone else.


  • If nobody has eaten you, it doesn't follow that you have eaten everyone else.

  • If nobody is standing on your head, it doesn't follow that you are standing on everyone else's head.

  • If you live on the top floor of your apartment building, it doesn't follow that you live above everyone else in the city.

So maximal elements need not be greatest.

(Incidentally, although a greatest element is always a unique maximal element, it is a fun exercise to come up with a partial order having a unique maximal element, which is not greatest.)

share|cite|improve this answer
I gave an example in my answer for such partial order. – Asaf Karagila Jun 11 '11 at 15:01
Your apartment illustration is very nice! – wildildildlife Jun 11 '11 at 16:33
The world needs more answers like this. – goblin Apr 10 '15 at 11:44
@ahorn No, because to be greatest, it must be above all other elements, and so those other elements cannot be maximal. – JDH May 19 '15 at 13:08
@JDH This is great. The first two lines made me laugh. – phatty Dec 1 '15 at 6:28

Suppose $\langle A,R\rangle$ is a partially ordered set (i.e. $A$ is non-empty, $R$ is a partial order relation on $A$).

An element $a\in A$ is called maximal if $\forall b\in A(aRb\rightarrow b=a)$. That is, there is no one "above" $a$ (except perhaps $a$ itself).

An element $a\in A$ is called maximum or greatest if $\forall b\in A(bRa\lor b=a)$, that $a$ stands "above" everyone in $A$ in the relation $R$.

Note that both these definitions hold whether or not you require $R$ to be reflexive.

From this follows that a greatest element is by definition maximal, but not vice versa.

Consider the following case $A=\{a,b\}$ and $R$ is defined to be the identity relation, then both $a$ and $b$ are maximal, but neither is the greatest.

Another strong example with a single maximal element, but no greatest element is this: consider the set $\{a\}\cup\mathbb Z$, and the relation $R$ defined to be $<$ for integers and $aRa$ otherwise (i.e. $a$ does not stand with the integers in this relation). In this case $a$ is trivially a maximal element, no one is "above" it, however there is no maximum element, since no one stands over both $a$ and all the integers.

share|cite|improve this answer

The crucial issue is the difference between a partial order and a linear order.

A partial order is a set where sometimes you can say "this thing is bigger than that", but some things are just incomparable. In a linear order, you can always say "this thing is bigger than that."

For example, if you're working with the natural numbers (except $0$), $\{1,2,3,...\}$, and you say "I'm going to declare that $n \leq m$ iff $n|m$. Then, reflexivity is clear ($n|n$), antisymmetry is clear (if $n|m$ and $m|n$, then $n = m$. And transitivity is also easy to check ($n|m$ and $m|p$ implies $n|p$). So, this really is a partial order.

Now, in this notion of order, is $2\leq 3$? No, since $2$ doesn't divide evenly into 3. Well, is $3\leq 2$? Again, no, since $3$ doesn't divide evenly into $2$. The conclusion is that we simply have no way of comparing the sizes of $2$ and $3$ in this order.

Now, to answer your actual question, as Stefan has noted, in a linear order (where any two elements are comparable) the two notions coincide.

In a partial order, we can see the difference. An element is maximal if it's bigger than everything it can be compared to, but we're not claiming it can be compared to everything.
An element is greatest if it's bigger than everything it can be compared to, and we can compare it with everything.

share|cite|improve this answer
Good answer. Along with Stefan's, the only clear ones on the page, as I see it! Once one realises that the poset concept isn't nearly so intuitive as a totally-ordered set, one can separate these concepts much more readily. – Noldorin Sep 9 '12 at 0:25
Best answer Ive read on the concept, especially the last paragraph. – Abhinav Sep 25 '15 at 4:51

Suppose you have a set of boxes. A box that does not fit into any other box is maximal. A box into which any other box fits is greatest.

share|cite|improve this answer
+1. I'm grateful for the informality! – LePressentiment Apr 24 '14 at 20:31

In a totally ordered set those concepts are the same. So we need to consider partially ordered sets that are not totally ordered in order to find an example. The most common sets of that kind are sets of sets ordered by inclusion. Consider the set $\{\{0\},\{1\}\}$. It contains two elements, none of which is a subset of the other. Both elements are maximal, but the set has no greatest element.

share|cite|improve this answer
Maybe I would not take the degenerate case as an example :-) – Listing Jun 11 '11 at 16:40

Take an ordered set $(P,\leq)$. An element $g\in P$ is called greatest if for every $p\in P$ we have $p\leq a$. An element $m\in P$ is called maximal if there exists no $q\in P$ such that $m<q$. If $P$ is totally ordered then the two notions coincide. But in partially ordered sets the two notions are different. Here's an example:

Take all humans that have ever lived on earth (including those still alive) and order them as following $A<B$ if $B$ is a descendant of $A$ (this in fact is an ordering). Observe now that every person $P$ that doesn't have children yet is a maximal element of the aforementioned order, since there doesn't exist any human that is descendant of $P$. On the other hand this order doesn't have a greatest element. Such a person would need to be a descendant of every human that has ever lived, which is impossible.

share|cite|improve this answer

Consider the set ${2,3,4,6}$ under divisibility. This set has 2 maximal elements since $2|4$, $2|6$ and $3|6$ where we write $a|b$ to mean means $b$ is divisible by $a$. Since we do not have $3|4$ or $4|6$, both $4$ and $6$ act as Maximal elements, but it has no greatest element.

share|cite|improve this answer

protected by Asaf Karagila Apr 10 '15 at 13:24

Thank you for your interest in this question. Because it has attracted low-quality or spam answers that had to be removed, posting an answer now requires 10 reputation on this site.

Would you like to answer one of these unanswered questions instead?

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