Knaster-Tarski Lemma/Corollary

Theorem
Let $\struct {L, \preceq}$ be a complete lattice.

Let $f: L \to L$ be an increasing mapping.

Then $f$ has a fixed point

Proof
By the Knaster-Tarski Lemma, $f$ has a least fixed point.

Thus it has a fixed point.