Here is more difficult exercise (for me of course) from definiable sets:

Let be the partial ordering (in a signature with ) whose elements are the positive integers, with iff divides .

Show that the set and the set of primes are both -definable in .

I don't have any idea how can I solve it. Could You give me some advices?

Any help will be highly appreciated.