Every finite ordered set has a least one maximal element.
The following characterization of maximal and best elements in terms of upper contour sets is often useful. (See, for example, proposition 1.5.) Analogous results hold for minimal and first elements.