Иньективность, сурьективность, биективность. Счётность и несчётность множества

Определение

Числа вида называются рациональными.

Два рациональных числа и равны, если m₁n₂ = m₂n₁

Теорема

Множество Q — счётное.