Clôture Algébrique (Théorie des Modèles)

Dans une structure du premier ordre donnée M et pour un ensemble de paramètres A ⊆ M, la clôture algébrique au sens de la théorie des modèles acl(A) est l'ensemble des éléments de M qui satisfont une formule à paramètres dans A n'admettant qu'un nombre fini de solutions dans M. C'est un opérateur de clôture qui exprime la définissabilité par finitude sur A au sens modélothétique.