Is there a forcing closure=?iso-8859-1?Q?=3F_=96_mathoverflow.net?=

Is there a forcing closure? – mathoverflow.net

The main theorem of forcing says that for any c.t.m of $ZFC$ like $M$ and
for all partial order $\mathbb{P}$ and $\mathbb{P}$-generic $G$ over $M$,
there is a c.t.m of $ZFC$, like $N$ such that $N$ is …