Isomorphisme Partiel

Une bijection entre des sous-structures finies de deux structures (ou entre des parties finies munies de la structure induite) qui préserve toutes les interprétations de fonctions et de relations sur son domaine et son image. Un isomorphisme partiel n'a pas à être défini sur la totalité du domaine ; il atteste d'un accord structurel local entre modèles.