Denotaremos por formula_45 a su clase de equivalencia mediante la relación formula_38.