We do consider both of those sets to be the same size - for infinite sets, size equality means being able to uniquely put a members from one set in corresponden

We do consider both of those sets to be the same size - for infinite sets, size equality means being able to uniquely put a members from one set in correspondence with members I n another. In your example, n -> 2n provides a unique mapping so the sets are equal size (cardinality)