Modallogisches Modell/Einbettung in universelles modallogisches Modell/Aufgabe

Es sei ein modallogisches Modell und das universelle modallogische Modell. Zeige, dass durch

eine Abbildung definiert ist, die ein Homomorphismus (bezüglich der zweistelligen Relationen und ) ist.