El teorema de Knaster-Tarski, que lleva los nombres de Bronisław Knaster y Alfred Tarski, es un teorema matemático del área de la teoría de retículos.
un retículo completo,
una función monótona y
{\displaystyle P:=\{x\in A\mid f(x)=x\}}
el conjunto de los puntos fijos de
las operaciones de supremo e ínfimo de
Los siguientes pasos muestran que para subconjuntos arbitrarios de
arroja un ínfimo y un supremo en
Un corolario frecuentemente utilizado es el de la existencia de los puntos fijos ínfimo y supremo para funciones monótonas con respecto a