Definition (Semantic forcing predicate). $p{⊩}_{M,\mathbb{P}}\phi$: Forall $G$ $\mathbb{P}$-generic over $M$ with $p\in G$, $M[G]\models \phi$.

“$p$ forces $\phi$”

We often omit $M,\mathbb{P}$.