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

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

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