Si definimos la relación formula_74 por formula_75 ssi, formula_76 para algún formula_7 en formula_8 se tiene que: formula_74 es una relación de equivalencia cuyas clases de equivalencia coinciden con las órbitas de formula_1 en formula_71