Tarski-Vaught chain axioms: If \gamma is an ordinal and \{\,M_\alpha\mid \alpha<\gamma\,\}\subseteq K is a chain (i.e.
A K-embedding is a map f: M \rightarrow N for M, N \in K such that f[M] \prec_K N and f is an isomorphism from M onto f[M].