In mathematical model theory, an imaginary element of a structure is roughly a definable equivalence class. These were introduced by {harvtxt|Shelah|1990}, and elimination of imaginaries was introduced by {harvtxt|Poizat|1983} ==Definitions== ==Examples== ...