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.
Articles by others on the same topic
The Knaster-Tarski theorem is a fundamental result in the field of fixed-point theory, particularly in the context of partially ordered sets (posets).