Algebraischer Abschluss (Modelltheoretisch)

In einem gegebenen erstenordentlichen Strukturmodell M und für eine Parametersatz A ⊆ M ist der modelltheoretische algebraische Abschluss acl(A) die Menge aller Elemente von M, die eine Formel mit Parametern aus A erfüllen, die in M nur endlich viele Lösungen hat. Es ist ein Abschlussoperator, der modelltheoretische endliche Definierbarkeit über A erfasst.