Upward absoluteness of countability
= Upward absoluteness of countability
If a smaller transitive model has a function witnessing that $x$ is a <countable set>, the same witness exists in every larger transitive model. Downward absoluteness can fail because a larger model may contain a new enumeration of $x$.