Определение
Числа вида называются рациональными.
Два рациональных числа и равны, если m1n2 = m2n1
Теорема
Множество Q — счётное.