Ausdrucksmenge/Enthält Beispiele/Definition/Begriff/Inhalt

Man sagt, dass ${}\Gamma$ Beispiele enthält, wenn es für jeden Ausdruck der Form ${}\exists x\alpha$ aus ${}L^{S}$ einen ${}S$-Term ${}t$ derart gibt, dass

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

zu ${}\Gamma$ gehört.