Structures · Order
ConditionallyCompletePartialOrder
Conditionally complete partial orders (with suprema and infima) are partial orders where every nonempty, directed set which is bounded above (respectively, below) has a least upper (respectively, greatest lower) bound.
- Shape
- One type argument · adds isGLB_csInf_of_directed
Extends2
Extended by1
Forgetful instances
Provided automatically by
Concrete types that are instances1
- OrderDual
How is a type an instance?
Loading the hierarchy index…
Assumed by8
- ConditionallyCompletePartialOrder.toInfSet
- DirectedOn.subset_Icc_csInf_csSup
- Directed.ciInf_le_ciSup
- ConditionallyCompletePartialOrder.isGLB_csInf_of_directed
- OrderDual.instConditionallyCompletePartialOrder
- DirectedOn.csInf_le_csSup
- ConditionallyCompletePartialOrder.toConditionallyCompletePartialOrderInf
- ConditionallyCompletePartialOrder.toConditionallyCompletePartialOrderSup