Ausdrucksmenge/Erlaubt Repräsentierungen/Größere Ausdrucksmenge/Aufgabe

Es sei ${}\Gamma \subseteq L^{\rm {ar}}$ eine Ausdrucksmenge, die Repräsentierungen erlaube.

Zeige, dass jede größere Ausdrucksmenge ${}\Gamma '\supseteq \Gamma$ ebenfalls Repräsentierungen erlaubt.

Eine Lösung erstellen