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