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.