¿Cuándo se desarrolló la teoría de las relaciones binarias?

Question

Me interesa la historia de las matemáticas y no encuentro nada en mis libros sobre cuándo se formularon las relaciones binarias, las relaciones de equivalencia y las clases de equivalencia. ¿Fue a principios del siglo XX cuando los fundamentos y la base lógica de las matemáticas fueron el centro de atención? ¿Estoy en lo cierto al afirmar que fueron posteriores a las funciones?

Answer 1

Al menos una década antes de Russell-Whitehead, se introdujo la noción de relación de equivalencia (ya sea por Dedekind, Peano, o uno de sus contemporáneos, tendré que comprobar mis fuentes). Este desarrollo permitió reformular la construcción de Cantor de los reales como "clases de equivalencia de las secuencias de Cauchy de los racionales". El propio Cantor no lo formuló así, ya que no tenía la noción de "relación binaria reflexiva, simétrica y transitiva".