Sean ${\displaystyle {\mathcal {A}}:=\langle A,\leq \rangle }$  un retículo completo, ${\displaystyle f\colon A\to A}$  una función monótona y ${\displaystyle P:=\{x\in A\mid f(x)=x\}}$  el conjunto de los puntos fijos de ${\displaystyle f}$  en ${\displaystyle A}$ . Entonces ${\displaystyle P\neq \emptyset }$  y ${\displaystyle {\mathcal {P}}:=\langle P,\leq \rangle }$  es también un retículo completo.

Sean ${\displaystyle \textstyle \bigcup _{\mathcal {A}}}$  y ${\displaystyle \textstyle \bigcap _{\mathcal {A}}}$  las operaciones de supremo e ínfimo de ${\displaystyle {\mathcal {A}}}$ , respectivamente.

Los siguientes pasos muestran que para subconjuntos arbitrarios de ${\displaystyle P}$ , ${\displaystyle {\mathcal {P}}}$  arroja un ínfimo y un supremo en ${\displaystyle P}$ .

1. ${\displaystyle \textstyle \bigcup _{\mathcal {A}}\{x\in A\mid x\leq f(x)\}}$  es punto fijo de ${\displaystyle f}$ , siendo además mayor que cualquier otro en ${\displaystyle A}$ . Por tanto se trata del supremo ${\displaystyle {\mathcal {P}}}$  de ${\displaystyle P}$ .
2. Dualmente al paso 1: ${\displaystyle \textstyle \bigcap _{\mathcal {A}}\{x\in A\mid f(x)\leq x\}}$  es punto fijo de ${\displaystyle f}$ , siendo además menor que cualquier otro en ${\displaystyle A}$ .
3. Para subconjuntos arbitrarios ${\displaystyle Y\subseteq P}$ , se requiere que exista un supremo ${\displaystyle {\mathcal {P}}}$ . Los casos ${\displaystyle Y=P}$  y ${\displaystyle Y=\emptyset }$  ya se consideraron en los pasos 1 y 2. Ahora se consideran los demás casos. Para ello se aprovecha el que ${\displaystyle \langle U,\leq \rangle }$  con ${\displaystyle \textstyle U:=\{x\in A\mid \bigcup _{\mathcal {A}}Y\leq x\}}$  es a su vez un retículo completo y que ${\displaystyle f|_{U}}$  es una función monótona ${\displaystyle U\to U}$ , que de acuerdo al paso 2 tiene en ${\displaystyle U}$  al menor de sus puntos fijos. Este es el supremo ${\displaystyle {\mathcal {P}}}$  de ${\displaystyle Y}$ . En símbolos: ${\displaystyle \textstyle \bigcup _{\mathcal {P}}Y:=\bigcap _{\mathcal {A}}\{x\in A\mid \bigcup _{\mathcal {A}}Y\cup f(x)\ \leq \ x\}}$ .
4. Dualmente al paso 3 se muestra que para subconjuntos arbitrarios de ${\displaystyle P}$  existe un ínfimo ${\displaystyle {\mathcal {P}}}$ .

Un corolario frecuentemente utilizado es el de la existencia de los puntos fijos ínfimo y supremo para funciones monótonas con respecto a ${\displaystyle \subseteq }$ .

• Alfred Tarski (1955). «A lattice-theoretical fixpoint theorem and its applications». Pacific Journal of Mathematics. 5:2: 285-309. 
• Garrett Birkhoff, 1967. Lattice Theory, 3rd ed. Vol. 25 of AMS Colloquium Publications. American Mathematical Society. ISBN 978-0-8218-1025-5