Modallogisches Modell/Einbettung in universelles modallogisches Modell/Aufgabe

Aus Wikiversity
Zur Navigation springen Zur Suche springen

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.
Eine Lösung erstellen