El teorema de Knaster-Tarski establece que el conjunto de puntos fijos de una función monótona en un retículo completo es asimismo un retículo completo.