lattice.lfp
Least fixed point of a monotone function
lattice.gfp
Greatest fixed point of a monotone function