What is the composition of the relation | (divides) and ?

My general interpretation:

Let be the | relation, and be . should be the set of all points where divides some .

If this is correct, (I'm not sure) how would I express this as set-builder notation?

?