Cierre Algebraico (Teoría de Modelos)

En una estructura de primer orden dada M y para un conjunto de parámetros A ⊆ M, el cierre algebraico en sentido modeloteórico acl(A) es el conjunto de elementos de M que satisfacen alguna fórmula con parámetros en A que tiene solo un número finito de soluciones en M. Es un operador de cierre que captura la definibilidad por finitud sobre A en sentido modeloteórico.