Definition 3.11 (Generic extension). The (generic) extension for any countable transitive model $M$ and any $F\subseteq \mathbb{P}$ where $\mathbb{P}\in M$ is