O teorema do ponto de fixação de Tarski afirma que os pontos de fixação de um operador monótono em uma rede completa são uma rede completa. Por conseqüência, temos um ponto de correção maior e menos único para um operador monótono em uma rede completa.
Os pontos de correção podem ser únicos, mas em geral podem ser muitos.
Minha pergunta seria: sob quais condições uma função monótona pode ter um ponto de correção exclusivo em uma rede completa? Existem condições práticas suficientes para garantir um ponto de fixação exclusivo? Seria útil saber disso, porque às vezes você tem um operador monótono que especifica uma propriedade. Pode não ser trivial esclarecer se é o melhor ponto de correção ou o menos que você realmente deseja especificar. Em alguns casos, os dois coincidem, e você sabe que a iteração de cima ou de baixo produz o mesmo resultado e ficaria feliz em escolher o que é mais simples ou mais eficiente.