Classe Élémentaire

Une classe de structures dans un langage donné qui est axiomisable par un ensemble (éventuellement infini) de phrases du premier ordre ; équivalemment, une classe fermée par isomorphisme et caractérisée par l'équivalence élémentaire et par des descriptions via ultraproduits.

Une classe de structures qui est exactement la classe des modèles d'une certaine théorie du premier ordre, ou équivalemment une classe fermée par équivalence élémentaire et par passage à des sous‑structures élémentaires.