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

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

Elementary embeddings are the most important maps in model theory.