max(), sum(), next()

[castironpi]

On Sep 8, 8:54 am, Boris Borcic <bbor... at gmail.com> wrote:
> David C. Ullrich wrote:
>
> > (ii) If A is a subset of B then we should have
> > max(A) <= max(B). This requires that max(empty set)
> > be something that's smaller than everything else.
> > So we give up on that.
>
> Er, what about instances of variations/elaborations on
>
> class Smaller(object) : __cmp__ = lambda *_ : -1
>
> ?
>
> Cheers, BB

You still don't have the property max(X) is in X.

And it's the equivalent of a special builtin constant for max on the
empty set.