- Interval geometric partial order (I < J means "is I completely on the left of J ?")
- Interval subset partial order (I <= J means "is I a subset of J ?")
- Set partial order (S <= T means "is S a subset of T?")
and test cases.