Mosterín: relació d'equivalència/es

El concepto de partición está estrechamente ligado al de relación de equivalencia. Como es bien sabido, una relación de equivalencia es una relación reflexiva, simétrica y transitiva. Es decir, una relación R es una relación de equivalencia en una clase A si y sólo si (1) todo individuo de A está en la relación R consigo mismo, (2) si x está en la relación R con y, entonces y también está en relación R con x, y (3) siempre que u esté en la relación R con w y w con z, también u está en la relación R con z. Por ejemplo, la identidad es una relación de equivalencia, así como también lo es la de paisanaje entre humanos y la de congruencia entre triángulos.