A sufficient condition is that both collections are Alexander systems: within each collection the essential simple closed curves are pairwise nonisotopic, are in pairwise minimal position of curves or arcs, have no triple intersection points, and no three curves intersect pairwise. If is isotopic to for every , the simultaneous-isotopy lemma for Alexander systems gives an ambient isotopy with for all . Successive applications of the bigon criterion prove the lemma while preserving the curves already matched.
For a filling Alexander system , the structure graph is the embedded graph
with vertices at all curve intersections, arc endpoints, and punctures. Its edges are the curve, arc, and boundary segments between consecutive vertices. A homeomorphism preserving the system induces a graph automorphism.