1: \begin{definition}\rm

2: The {\df generic mantle}, denoted $\gMantle$, is the class

3: of all $x$ such that every forcing notion $\P$ forces that

4: $\check{x}$ belongs to every ground of $V^\P$. That is,

5: $$ \gMantle=\set{x\st\forall\P\, \one\forces_\P\forall r\,\check{x}\in W_r},$$

6: where $W_r$ is the ground of the forcing extension defined

7: by parameter $r$ using the uniform definition of theorem

8: \ref{Theorem.ParameterizedGroundsW_r} applied in the

9: forcing extension. Equivalently,

10: $$ \gMantle=\set{x\st\forall\P\, \one\forces_\P\,\check{x}\in \Mantle},$$

11: where $\Mantle$ defines the mantle as interpreted in the

12: forcing extension.

13: \end{definition}

14: