Let L be a complete lattice and let f : L → L be an order-p… Twetch · May 28, 2020 Let L be a complete lattice and let f : L → L be an order-preserving function. Then the set of fixed points of f in L is also a complete lattice.