  Let L be a first-order language and let A and B be L-structures. Suppose e is a function which takes some elements of A to elements of B. We say that e is an elementary map if whenever a sequence of elements a1, …, an in the domain of e satisfy a formula φ(x1,…,xn) of L in A, their images under e satisfy the same formula in B; in symbols 