Downward absoluteness of cardinalhood
= Downward absoluteness of cardinalhood
If a larger transitive model regards an ordinal $\kappa$ as a <cardinal number>, then a smaller transitive model does too: any bijection in the smaller model witnessing otherwise would remain in the larger one. The converse can fail when the larger model contains a new bijection between $\kappa$ and a smaller ordinal.