На множестве

введено бинарное отношение, обозначенное буквой

(если элементы

и элемент

находится в отношении

с элементом

, то записываем

).
Это отношение определяется так:

, если

делится (нацело) на число

.
Пусть множество

. Тогда множество

есть множество …