intervalGeometricPartialOrder
Type members
Classlikes
Interval partial order defined as follows:
Interval partial order defined as follows:
Involving empty intervals:
- if I and J are empty, then I === J
- if I (resp. J) is empty and J (resp. I) is non-empty,
the ordering is undefined (preserving antisymmetry).
For non-empty intervals:
- I === J is standard Eq semantics (I, J are intersubstituable)
- I < J if all x \in I, y \in J have x < y
- I > J if all x \in I, y \in J have x > y