En
teoría de conjuntos y
álgebra la noción de
relación de equivalencia sobre un conjunto, permite establecer una relación entre los elementos del conjunto que comparten cierta característica o propiedad. Esto permite reagrupar dichos elementos en
clases de equivalencia, es decir, «paquetes» de elementos similares. Esto posibilita la construcción de nuevos conjuntos «añadiendo» todos los elementos de una misma clase como un solo elemento que los representará y que define la noción de
conjunto cociente.