Elementary embedding

In mathematical logic, given models <math>M<math> and <math>N<math> in the same language <math>L<math>, a function

<math>f:M\to N<math>

is called an elementary embedding if <math>f(M)<math> is an elementary substructure of <math>N<math>.

Elementary embeddings are the most important maps in model theory.