Imaginary Element

An imaginary element is an equivalence class of tuples under a definable equivalence relation, treated as a new element in the imaginary expansion M^eq of a structure; imaginaries allow quotients by definable relations to be handled as genuine sorts.