\bigcup_{\zeta\leq\xi}L_{\zeta}