[laqq3]

It's an isomorphism in the category of Sets.

[jrh206]

Yes, I probably ought to have mentioned that. Though ime people are more likely to talk about isomorphisms in other categories, since the only “structure” a set has is its size

[graphpapa]

(The worst sort of isomorphism)