L(A) is defined by transfinite recursion as follows: L0(A) = the smallest transitive set containing A as an element, i.e. the transitive closure of {A}.
Το L(A) ορίζεται από υπερπεπερασμένη αναδρομή ως εξής: L0(A) = το μικρότερο μεταβατικό σύνολο που περιέχει το A ως ένα στοιχείο, δηλ. ο υπερπεπερασμένος τερματισμός του {A}.