 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$.