Define una relación binaria en el conjunto de términos S formula_62 si y solo si formula_63; y sea formula_64 la clase de términos de equivalencia conteniendo formula_65; y sea formula_66 donde formula_67 es el conjunto de términos basados en el conjunto de símbolo formula_68.