This is where you map the set you want to show as countably infinite to another set. You then map this other set to the natural numbers. For example, the Rational numbers can easily be mapped to (a subset of) the pairs of integers through p/q maps to (p,q). |
This is where you map the set you want to show as countably infinite to another set. You then map this other set to the natural numbers. For example, the Rational numbers can easily be mapped to (a subset of) the pairs of integers through p/q maps to (p,q). |