Canonical Parameter

A canonical parameter for a definable set or formula is an element (typically an imaginary in M^eq) that serves as a distinguished name encoding that definable object so that definability and automorphism invariance of the object correspond to first‑order properties of the parameter.