Extend the domain of maximum and minimum to include empty collection?

There seems some resistance and some technical difficulties to extend the domain of maximum or minimum to include empty collections.
Conforming to a proposal


I would propose to

  • document the current behaviour of maximum and minimum and leave it as it is.
  • implement new functions supremum and infimum, which behave equivalent for non-empty collections of totally ordered types, but cover the other cases as well.