Knaster-Tarski theorem

English

Named after Bronisław Knaster and Alfred Tarski.

Knaster-Tarski theorem

(mathematics) 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.

单词	Knaster-Tarski theorem
释义	Knaster-Tarski theorem English Etymology Named after Bronisław Knaster and Alfred Tarski. Proper noun Knaster-Tarski theorem (mathematics) 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.
随便看	clorofluorocarbono clorofluorocarbonos clorofluorocarburi clorofluorocarburo clorofluorometano cloroform cloroforma cloroformi cloroformiati cloroformiato cloroformice cloroformicemos cloroformicen cloroformices cloroformicé cloroformicéis cloroformicés cloroformio cloroformism cloroformiza cloroformizaba cloroformizabais cloroformizaban cloroformizabas cloroformizad