One important property of \(V\) is the so-called Reflection Principle. Namely, for each formula \(\varphi(x_1,\ldots ,x_n)\), ZFC proves that there exists some \(V_\alpha\) that reflects it, that is, for every \(a_1,\ldots,a_n\in V_\alpha\),