Knaster–Tarski theorem

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