 Elementary embedding

An elementary embedding preserves every first-order formula with parameters from its domain. Its critical point $\mathrm{crit}(j)$ is the least ordinal moved by a nonidentity embedding.