On Tue, Jun 12, 2007 at 05:19:37PM +0200, Wolfgang Jeltsch wrote: > It is always the *least* fixpoint. For example, (0 *) has the fixpoint _|_ > (because 0 * _|_ = _|_) but every integer is also a fixpoint of it. 0 * 5 = 5 ? You probably meant (1 *) or (0 +). Best regards Tomek