Partieller Isomorphismus

#Studium #Informatik #Definition #Logik

Seien $A, B$ relationale Strukturen. Eine injektive Abbildung $p : A^{'} \to B^{'}$ mit $A^{'} \subseteq A, B^{'} \subseteq B$ heißt partieller Isomorphismus, wenn sie Relationen erhält:
Für alle $R \in σ$ und $a_{1}, \dots, a_{k} \in A^{'}$ gilt:

(a_{1}, \dots, a_{k}) \in R^{A} ⟺ (p (a_{1}), \dots, p (a_{k})) \in R^{B}

Dies entspricht der Gewinnbedingung der Duplikatorin im EF-Spiel.