Eliminación de Imaginarios

Propiedad de una teoría según la cual toda clase de equivalencia definible (un «imaginario») puede codificarse por una tupla de elementos reales (de las sorts principales), de modo que cada imaginario tiene un parámetro canónico en las sorts reales y no se necesitan sorts imaginarias adicionales.

Propiedad de una teoría que establece que todo conjunto definible (con parámetros) admite un parámetro canónico (un «imaginario») en las sortes base o en una expansión definible, de modo que los cocientes definibles son representados por elementos reales o sorts nombrados.