Definition (Preserves cardinals). We say $\mathbb{P}$ preserves cardinals if $\forall G$ $\mathbb{P}$-generic over $M$, “$\kappa$ is a cardinal” is absolute between $M$ and $M[G]$.