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 (L, ≤) be a complete lattice and let f : L → L be an order-preserving (monotonic) function with respect to ≤. Then the set of fixed points of f in L forms a complete lattice under ≤.
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 (L, ≤) be a complete lattice and let f : L → L be an order-preserving (monotonic) function with respect to ≤. Then the set of fixed points of f in L forms a complete lattice under ≤.
Source: Wikipedia "Knaster–Tarski theorem" · CC BY-SA 4.0
Share this article: X · Bluesky