Elemento Imaginario

Un elemento imaginario es una clase de equivalencia de tuplas bajo una relación de equivalencia definible, tratada como un nuevo elemento en la expansión imaginaria M^eq de una estructura; los imaginarios permiten manejar cocientes por relaciones definibles como tipos reales.