ottom. I.e.

	fix F = LUB {bottom, F bottom, F (F bottom), ...}.

The least fixed point is guaranteed to exist for a continuous function over a cpo.

Last updated: 2005-04-12

Nearby terms:

to the totally undefinedottom. I.e.s least likely to be accessed in the

Try this search on Wikipedia, OneLook, Google


Loading