In the mathematical areas of order and lattice theory, the Knaster–Tarski theorem, named after Bronisław Knaster and Alfred Tarski, states the following: Let be a complete lattice and let f : L → L be an order-preserving function w.r.t. ≤ . Wikipedia