Knaster-Tarski theorem
= Knaster-Tarski theorem
{c}
{wiki=Knaster–Tarski_theorem}
Every monotone self-map of a complete lattice has a complete lattice of fixed points. Its least fixed point is the meet of its prefixed points, and its greatest fixed point is the join of its postfixed points.