Imaginary element (original) (raw)

In model theory, a branch of mathematics, an imaginary element of a structure is roughly a definable equivalence class. These were introduced by , and elimination of imaginaries was introduced by .