Terminterpretation/Surjektiv machen/Aufgabe
Erscheinungsbild
Es sei ein Symbolalphabet und eine -Interpretation auf einer Menge mit der zugehörigen Terminterpretation. Zeige, dass man diese Terminterpretationsabbildung durch die Hinzunahme von Variablen (oder durch die Hinzunahme von Konstanten) surjektiv machen kann.