Diagramming representation of interval space in proving theorems about interval relations (Q1371178)

The author considers binary relations over interval spaces, where the intervals are defined in a partially ordered set. The relations and operations on these relations are represented graphically. Finally, the paper focuses on so-called convex interval relations, and it is shown that the graphic techniques introduced so far can be used to prove the equivalence of four different definitions of the convexity of such relations.