If L(A) contains a well-ordering of the transitive closure of {A}, then this can be extended to a well-ordering of L(A).
Αν το L(A) περιέχει μια καλή διάταξη του μεταβατικού τερματισμού του {A}, τότε αυτό μπορεί να επεκταθεί σε μια καλή διάταξη του L(A).