 Model-theoretic definable closure

An element belongs to $\mathrm{dcl}(A)$ when it is the unique realization of some formula with parameters from $A$. Equivalently, it is fixed by every automorphism fixing $A$ pointwise.