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