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.