The following index sets and their members are used in this example:
: pairs of edges that can possibly correspond to each other