Knaster-Tarski fixed point theorem

Let be a Complete Poset and be order-preserving.
Then has a fixed point.

Proof

Let
Let
We show
For any we have
Then as is order-preserving
Thus is an Upper Bound for and so
It follows that and so and