"i.e.", el espacio vectorial cuyos elementos son las clases de equivalencia de la relación formula_9.