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

Advertisements