In mathematical logic, given models <math>M<math> and <math>N<math> in the same language <math>L<math>, a function
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.
