Structure Chain

Let be a limit Ordinal. A collection of -Structures is a chain if for all :

Lemma

Let

Then is a well defined Structure.