28 Dec
2007
28 Dec
'07
6:59 p.m.
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