Knaster–Tarski theorem (source code)

= Knaster–Tarski theorem
{wiki=Knaster–Tarski_theorem}

The Knaster-Tarski theorem is a fundamental result in the field of fixed-point theory, particularly in the context of partially ordered sets (posets).