I was given this excersise as homework and to a certain extent i do understand what they are asking, but don't know where to start.

Consider "there are infinitely many primes". Find a suitable universe U of elements so that this theorem can be reformulated in the form : A (is a subset of) B

We were also told that we dont need to prove anything here.

Thank you for any suggestions.