Clase Elemental

Una clase de estructuras en un lenguaje fijo que es axiomatizable por un conjunto (posiblemente infinito) de oraciones de primer orden; equivalentemente, una clase cerrada bajo isomorfismo y caracterizable por equivalencia elemental y clausuras por ultraproductos.

Una clase de estructuras que es exactamente la clase de modelos de alguna teoría de primer orden, equivalente a una clase cerrada bajo equivalencia elemental y bajo la toma de subestructuras elementales.