El espacio cociente formula_4 se define como el conjunto de clases de equivalencia de elementos de formula_3.