  We say that A is an elementary substructure of B, and B is an elementary extension of A, if A is a substructure of B and the inclusion map is an elementary embedding. It’s immediate from the definitions that an elementary extension of an elementary extension of A is again an elementary extension of A.