[Tarski's fixed point theorem][1].


  [1]: https://en.wikipedia.org/wiki/Knaster%E2%80%93Tarski_theorem