Figure 5

Graphical proof of the dominance theorem. Cont'd from Figure 4. In the upper part it is shown that indifference is not possible for the tissue order relation. The lower part shows that we can merge adjunct regions with the same ranking, which means that we end up with only two possibilities; in either case dominance is inevitable.