Élimination des Imaginaires

Propriété d'une théorie selon laquelle chaque classe d'équivalence définissable (un « imaginaire ») peut être codée par un tuple d'éléments réels (des sortes de base), de sorte que chaque imaginaire possède un paramètre canonique dans les sortes réelles et qu'aucune sorte imaginaire supplémentaire n'est nécessaire.

Propriété d'une théorie indiquant que tout ensemble définissable (avec paramètres) admet un paramètre canonique (un « imaginaire ») dans les sortes de base ou dans une expansion définissable, de sorte que les quotients définissables sont représentés par des éléments réels ou des sortes nommées.