Лекции 3-4.

Построение множества целых чисел.

Рассмотрим множество (декартов квадрат множества натуральных чисел).

На множестве введем отношение ~ по следующему правилу:

.

Теорема 1. Отношение ~ на множестве есть отношение эквивалентности (рефлексивно, симметрично, транзитивно).