Es decir, formula_101 contiene todas las clases de equivalencia por la relación formula_20.