Knaster-Tarski fixed-point theorem

Layer 0 — Mathematicsin the order-theory subtree

Knaster-Tarski 1928/1955: monotone f: L -> L on complete lattice has set of fixed points forming a complete lattice; basis of denotational-semantics + monotone iteration.