Knaster–Tarski fixed-point theorem
ID: knaster-tarski-fixed-point-theorem
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.
New to topics? Read the docs here!