Knaster-Tarski Lemma/Corollary/Power Set/Proof 1

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

Thus it has a fixed point.