an alternate definition, due to gödel, characterizes each l as the intersection of the power set of l with the closure of formula_8 under a collection of nine explicit functions, similar to gödel operations. this definition makes no reference to definability.