Ausdrucksmengen/Inklusion/Kanonische Modelle/Aufgabe

Es seien widerspruchsfreie Ausdrucksmengen, die unter Ableitungen abgeschlossen seien, und seien bzw. die gemäß der Konstruktion zugehörigen Modelle. Zeige, dass es einen -Homomorphismus

gibt.