The role of isomorphism in synthetic analysis. Pruning the search tree by finding disjoint isomorphic substructures

Isomorphism is an equivalence relation that is less stringent than identity (equality), and it is useful for synthetic analysis, since it allows one to find reflexive routes for targets even when they do not have an element of symmetry.