Injectiveness, surjectiveness, biuniqueness. Countability and uncountability of sets

Definition

Numbers of type are called rational.

Two rational numbers and are equal, if m₁n₂ = m₂n₁

Theorem

The set of rational numbers Q is countable.