##  [Partial Isomorphism](/partial-isomorphism) 

  ##  [Partial Isomorphism](https://mathlogic.quantumdictionary.io/partial-isomorphism-0) 

  

 [![Mathematics & Logic Dictionary](/sites/default/files/styles/large/public/2026-01/Mathematics%20%26%20Logic.png.webp?itok=UhtTRPnp)](/topic-specific-dictionaries/natural-formal-sciences/mathematics-logic)

- Natural & Formal Sciences -

**Mathematics & Logic Dictionary**

 







 

 

 

 



 

 

 

 

Definition

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.