Cofinality-preserving forcing (${\mathrm{cf}}^{M[G]}(\alpha )={\mathrm{cf}}^M(\alpha )$)

A forcing is cofinality-preserving over a transitive model $M$ if every generic extension has the same cofinality for every ground ordinal. The values are compared as ordinals, which forcing preserves.