Could someone give me a concise definition of: A fixed point? A least fixed point? A most fixed point? I always kind of understood what he was on about, but I found I couldn't neatly define those terms without just rephrasing the equations for them as used in Tarski's theorem. Regards, Adam