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 Poizat (1983) introdujo la eliminación de imaginarios .