 Model-theoretic algebraic closure

An element belongs to $\mathrm{acl}(A)$ when it lies in a finite set definable with parameters from $A$.