But maximums are only guaranteed to be represented by a unique element in in total orderings.

Edit: also, infinite sets might not necessarily contain an element of their maximum value.