Ausdrucksmenge/Enthält Beispiele/Definition

Ausdrucksmenge enthält Beispiele

Man sagt, dass eine Menge $\mathrm{\Gamma }$ an $S$-Ausdrücken (über einem Symbolalphabet $S$) Beispiele enthält, wenn es für jeden Ausdruck der Form $\mathrm{\exists }x\alpha$ einen $S$-Term $t$ derart gibt, dass

$\mathrm{\exists }x\alpha \to \alpha \frac{t}{x}$

zu $\mathrm{\Gamma }$ gehört.