 Elementary chain theorem

The union of an elementary chain of structures has a unique induced structure, and every member of the chain is an elementary substructure of the union.