Partial Isomorphism

A bijection between finite substructures of two structures (or between finite subsets with induced structure) that preserves all function and relation interpretations on its domain and image. A partial isomorphism need not be defined on the whole domain; it witnesses local structural agreement between models.