Следующим числовым множеством идёт множество рациональных чисел: – то есть, любое рациональное число представимо в виде дроби с целым числителем и натуральным знаменателем. Очевидно, что множество целых чисел является подмножеством множества. Далее, пересечением множеств и называется множество, содержащее только те элементы, что есть и в, и в. Множество обозначается Так вот, декартовым произведением двух множеств и называется множество всевозможных упорядоченных пар, в которых и. Оно обозначается как. Множество натуральных чисел равномощно множеству нечётных чисел, так как между ними можно установить взаимно однозначное Множества и счётны и потому равномощны. В самом деле, установим взаимно однозначное соответствие между ними по следующему правилу.
