Knaster–Tarski fixed-point theorem
= Knaster–Tarski fixed-point theorem
{c}
{wiki}
Every <order-preserving function> from a <complete lattice> to itself has a least and a greatest fixed point. More strongly, its set of fixed points is itself a complete lattice.