On 28 Dec 2007, at 3:37 AM, Cristian Baboi wrote:
Thank you.
It sounds like a limit. xn --> x for n --> :-)
I could say that LUBs are colimits, not limits, but I won't :)
More seriously, I don't like the calculus --> notation in this
context; these are suprema, not lims.
How can I get that maximal value when I start from a non maximal one ?
Take the least upper bound of a maximum set.
[1 .. ] and x=1:x are maximal ?
Yes.
jcc
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
