Definition 2.5 (Elementary embedding). An $L$-homomorphism $h:M\to N$ is an elementary $L$-embedding if for any $L$-formula $\phi (\overline{x})$ and any $\overline{a}\in M$ (with $|\overline{x}|=|\overline{a}|$) we have