Pataraia's theorem

Statement

In mathematics, Pataraia's theorem states each monotone map $f : P \to P$ for an inductive poset $P$ admits a least fixed point, where an inductive poset means a dcpo with a least element. It was introduced by Dito Pataraia in 1997. The theorem is a variant of the Bourbaki–Witt theorem.