Past exam of the analytic topology and axiomatic set theory course of the University of Oxford / 2007 / B / 5 / ii / d / Solution

Every set is a subset of itself, so $V_{\alpha }\subseteq V_{\alpha }$. By the successor definition,Membership and inclusion are different statements here; this argument establishes membership of the whole level in its successor.