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

So, while I understand the difference between maximal elements and greatest elements, I'm having trouble understanding how to identify them on a lattice diagram (just as an example, the lattice diagram of the power set of A = {1,2,3}).

From what I understand (and this could be wrong), the element {1,2,3} of the power set would be both the greatest element (since {1,2,3} is drawn at least as high as every other element in the diagram) and maximal element (since nothing is drawn higher than {1,2,3}).

Any help will be greatly appreciated! Thanks.

share|cite|improve this question
You might want to distinguish between Hasse diagrams (which work for all finite posets), and lattice diagrams (which only work for lattices) a little more here. Considering Austin Mohr's example, it's not too hard to draw a Hasse diagram for the power set of {1, 2, 3} without {1, 2, 3}. But, such a set is not a lattice, since {1, 2} and {2, 3} don't have a supremum. – Doug Spoonwood Oct 23 '11 at 23:21

Your example is correct.

To see when these two notions might be different, consider your Hasse diagram, but with the greatest element, $\{1,2,3\}$ , removed.

This diagram has no greatest element, since there is no single element above all other elements in the diagram.

The diagram has three maximal elements, namely $\{1,2\}$ , $\{1,3\}$ , and $\{2,3\}$ . Each of these is maximal because there is no element above them.

share|cite|improve this answer

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.