Countability

• Is There an Injection Between the Natural and Rational Numbers?
  Yes: inclusion gives an injection from N to Q, and reduced fractions can be encoded as natural-number pairs to inject Q back into N.