En la teoría de modelos , una rama de las matemáticas , un elemento imaginario de una estructura es aproximadamente una clase de equivalencia definible . Estos fueron introducidos por Shelah (1990) y la eliminación de los imaginarios fue introducida por Poizat (1983) .