Ausdrucksmenge/Enthält Beispiele/Definition

Ausdrucksmenge enthält Beispiele

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

$\exists x\alpha \rightarrow \alpha {\frac {t}{x}}$

zu ${}\Gamma$ gehört.