Least fixed point

From Free net encyclopedia