Terminterpretation/Surjektiv machen/Aufgabe

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.