Subestructura Elementaria

Una subestructura M de una estructura N (misma firma) que preserva la verdad de toda fórmula de primer orden con parámetros de M; formalmente, para toda fórmula φ(x1,..,xn) y todo n‑tuplo a de M, N ⊨ φ(a) si y solo si M ⊨ φ(a). Se anota frecuentemente M ≺ N.

Una subestructura A de una estructura B (en el mismo lenguaje de primer orden) tal que para toda fórmula de primer orden φ(x1,...,xn) y todo n-tuplo a de A, se cumple B ⊨ φ(a) si y solo si A ⊨ φ(a). Suele notarse A ≺ B.