411 REFERENCE · Wiktionary
Knaster-Tarski theorem
Reference material by Wiktionary contributors. This retains its source identity and is not 411 news reporting.
English
Etymology
Named after Bronisław Knaster and Alfred Tarski.
Proper noun
1
en math A theorem stating that, if L is a complete lattice and f : L → L is an order-preserving function, then the set of fixed points of f in L is also a complete lattice. It has important applications in formal semantics of programming languages and abstract interpretation.
en Tarski's fixed-point theorem
en eponyms