Между множеством натуральных чисел и множеством аликвотных дробей:
Можно и так сказать: между множеством натуральных чисел и подмножеством множества рациональных чисел, таком, что в него входят все рациональные дроби, числитель которых равен единице.
Или даже так: между множеством натуральных чисел и множеством рациональных дробей, числитель которых равен единице.