I have a set of elements on which I defined a given relationship that allowed me to define a partial order on the set. I then introduced a second relationship to be applied to elements that were not comparable through the first relationship. This leads to a sort of layered graph where the nodes in each layer are not individual nodes, but instead subgraphs with multiple nodes, such that: