Given a transitive set $B$, $L_{B}=\mathcal{L}_{\infty\omega} \cap B$.