Definition:Embedding (Model Theory)

Definition
Let $\mathcal{M}$ and $\mathcal{N}$ be $\mathcal{L}$-structures with universes $M$ and $N$ respectively.

$j:\mathcal{M}\to\mathcal{N}$ is an $\mathcal{L}$-embedding if it is an injective map $M\to N$ which preserves interpretations of all symbols in $\mathcal{L}$; that is, such that:
 * $j(f^\mathcal{M} (a_1, \dots, a_{n_f})) = f^\mathcal{N} (j(a_1), \dots, j(a_{n_f})$ for all function symbols $f$ in $\mathcal{L}$ and $a_1, \dots, a_{n_f}$ in $M$;
 * $(a_1, \dots, a_{n_R})\in R^\mathcal{M} \iff (j(a_1), \dots, j(a_{n_R}))\in R^\mathcal{N}$ for all relation symbols $R$ in $\mathcal{L}$ and $a_1, \dots, a_{n_R}$ in $M$;
 * $j(c^\mathcal{M}) = c^\mathcal{N}$ for all constant symbols $c$ in $\mathcal{L}$.

Isomorphism
$j:\mathcal{M}\to\mathcal{N}$ is an $\mathcal{L}$-isomorphism if it is a bijective $\mathcal{L}$-embedding.

Automorphism
$j:\mathcal{M}\to\mathcal{N}$ is an $\mathcal{L}$-automorphism if it is an $\mathcal{L}$-isomorphism and $\mathcal{M} = \mathcal{N}$.