Parámetro Canónico

Un parámetro canónico para un conjunto definible o una fórmula es un elemento (típicamente un imaginario en M^eq) que sirve como nombre distinguido que codifica ese objeto definible, de modo que la definibilidad y la invariancia bajo automorfismos del objeto se corresponden con propiedades de primer orden del parámetro.