spire.optional.intervalSubsetPartialOrder
Interval partial order defined as follows:
I <= J if I is a subset of J.
Interval partial order defined as follows:
I <= J if I is a subset of J.