	If z is an element of L, then z = {y | y ∈ L and y ∈ z} ∈ Def (L) = L. So L is a subset of L, which is a subset of the power set of L. Consequently, this is a tower of nested transitive sets. But L itself is a proper class.