На множестве  введено бинарное отношение, обозначенное буквой  (если элементы  и элемент  находится в отношении  с элементом , то записываем ).
Это отношение определяется так: , если  делится (нацело) на число .
Пусть множество . Тогда множество  есть множество …