En lógica de clases y análisis matemático, la relación de equivalencia formula_2 define subconjuntos disjuntos en formula_1 llamados clases de equivalencia: