# Is there a set of all non-empty sets?

I have been asked to decide whether the set {$x: \exists y (y \in x)$} exists.

This translates as the set of all non-empty sets. Does this exist? I know that there is no set of all sets but how do I prove there is no set of non-empty sets? Do I use the union?

This does not exist. If it did, then you could take its union with $\{\emptyset\}$ to get the set of all sets, which you already know is impossible.