auch enlargement genannt, NichtStandard-Erweiterung \begin{eqnarray} V\left({{S}^{*}} \right)\supset V\left(s \right) \end{eqnarray} (Nichtstandard-Analysis), welche die Eigenschaft hat, daß jedes A ∈ V(s) als externe Teilmenge von A^* sogar Teilmenge A ⊆ E_A von *-endlichen Mengen E_A ⊆ A^* ist.

[1] Potthoff, K.: Einführung in die Modelltheorie und ihre Anwendungen. Wissenschaftliche Buchgesellschaft Darmstadt, 1981
[2] Stroyan, K.D.; Luxemburg, W.A.J.: Introduction to the Theory of Infinitesimals. Academic Press New York, 1976.