Greatest element (source code)

= Greatest element

An element is greatest when every element of the ordered set is less than or equal to it.