Elementary Substructures and Elementary Chains

$\mathfrak{A} \preceq \mathfrak{B}$ holds iff every existential formula with a witness in $\mathfrak{B}$ already has one in $\mathfrak{A}$ (Tarski-Vaught), and the union of an elementary chain is an elementary extension of each member.