Paramètre Canonique

Un paramètre canonique pour un ensemble définissable ou une formule est un élément (généralement un imaginaire dans M^eq) qui sert de nom distingué encodant cet objet définissable, de sorte que la définissabilité et l'invariance par automorphisme de l'objet correspondent à des propriétés du premier ordre du paramètre.