Tarski's fixed-point theorem

== English == === Proper noun === Tarski's fixed-point theorem Synonym of Knaster-Tarski theorem.