Re: [math-fun] Canonical 1-1 correspondences between sets