 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.

The Knaster-Tarski theorem is a fundamental result in the field of fixed-point theory, particularly in the context of partially ordered sets (posets).