If you’ve done high school math, you probably know that there are a lot more real numbers than rational numbers. (Technically, the rationals are countable – you can pair them off with whole numbers – and the real numbers are uncountable – there are too many of them to pair off).
So it’s no surprise that between any two rational numbers, you can always find an irrational number. (Proof: if a and b are two rational numbers, a + (b – a) / pi is irrational).
The surprise is that there is a rational number between any two irrational numbers. (Proof: suppose a and b are irrational with a < b. If b – a > 1, then there is an integer between them and we’re done. Otherwse, we have 0 < b – a < 1, and so there is some integer N such that b – a > 1/N. Therefore Nb – Na > 1, so there is an integer k between Na and Nb. Then k/N is a rational number between a and b.)
So although one set is much larger than the other, there is a kind of interleaving between them that you wouldn’t intuitively expect. Similarly, there is no interleaving between the integers and the rationals, even though they are the same size.
Conclusion: infinite sets behave quite differently from finite ones. Just because you can interleave members of two infinite sets, it doesn’t mean that the sets are the same size as it does for finite ones. That said, being able to place members into a one-to-one correspondence is a valid test of relative size.

