 The formula \(\forall y(y \in x \rightarrow y \in a)\), where \(a\) is a set, does not mention sethood, has only the set \(a\) as a parameter, and is true only of sets by the Axiom of Subsets. Thus Power Set is true for sets.