In
order theory, a branch of
mathematics, the
least fixed point (
lfp or
LFP, sometimes also
smallest fixed point) of a
function from a
partially ordered set to itself is the
fixed point which is less than each other fixed point, according to the set's order. A function need not have a least fixed point, and cannot have more than one.