Commit 2023-09-03 15:44 8e53cc7d
View on Github →feat(Order/CompletePartialOrder): Introduce complete partial orders (#6170) This PR considers complete partial orders (sometimes called directedly complete partial orders). These are partial orders for which every directed set has a least upper bound. Complete partial orders are a natural framework for studying approximations and fixed point theorems (Davey & Priestley, Chapter 8).