Knaster-Tarski Theorem

Knaster-Tarski theorem is a simple but powerful fixpoint theorem in order theory. It could give a very elegant proof of Cantor–Bernstein–Schroeder theorem which states that if there are injections $f : A \rightarrow B$ and $g : B \rightarrow A$, there exists a bijection between A and B. Continue reading