Por tanto, formula_5 es una relación de equivalencia, y así ésta induce una partición de formula_2 en clases de equivalencia, siendo éstas las órbitas de los elementos de formula_2.