Élément Imaginaire

Un élément imaginaire est une classe d'équivalence de tuples pour une relation d'équivalence définissable, considérée comme un nouvel élément dans l'expansion imaginaire M^eq d'une structure ; les imaginaires permettent de traiter les quotients par relations définissables comme de véritables sortes.