The whole numbers 1, 2, 3, 4, …
never end, the list is
infinite. The even numbers 2, 4, 6, 8, … are only
part of that list, so it feels "smaller", but here is a twist: for every whole number n you can match it with 2n (an even), and for every even you can halve it back. That perfect hand-shake, called a
one-to-one correspondence, is how mathematicians (including Georg
Cantor) sensibly say the two sets are the
same size in infinite land, the same
countable infinity (the size of ℕ). Rationals (fractions) can be listed in a sneaky way too, so they are still
countable. The mind boggles, but the rule is: match, don't "count to the end" like a stopwatch.
📦 CARDINALITY
Roughly, "size" of a set in Cantor's world = can you list / pair them? Same cardinality ↔ sets can be put in 1–1 match.