	For any finite ordinal n, the sets L and V are the same (whether V equals L or not), and thus L = V: their elements are exactly the hereditarily finite sets. Equality beyond this point does not hold. Even in models of ZFC in which V equals L, L is a proper subset of V, and thereafter L is a proper subset of the power set of L for all α > ω. On the other hand, V equals L does imply that V equals L if α = ω, for example if α is inaccessible. More generally, V equals L implies H equals L for all infinite cardinals α.