Una relación de equivalencia entre los elementos de un conjunto determina sobre el conjunto dado una "partición" o una colección de clases de equivalencia.