max package:numeric-prelude

Nothing is the smallest element.
The largest element of a non-empty structure.
Abstraction of normed vector spaces
On equality the first operand is returned.