Elementary embedding

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

$f:M\to N$

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

Elementary embeddings are the most important maps in model theory.

This mathematics-related article is a stub. You can help Wikipedia by expanding it.

See also: Elementary embedding, Elementary substructure, Language, Mathematical logic, Mathematics, Model theory, Models