Relació d'equivalència: diferència entre les revisions

Sigui <math>A\,</math> un [[conjunt]] qualsevol. Una [[relació]] en <math>A\,</math> és un criteri que ens permet dir si dos elements qualsevol de <math>A\,</math>, satisfan la relació o no. Una relació és [['''relació d'equivalència]]''' si compleix les propietats reflexiva, simètrica i transitiva.

La [['''relació d'equivalència]]''' agrupa els elements d'un conjunt amb subconjunts disjunts d'elements que tenen alguna propietat en comú, definint d'aquesta forma la noció de [[classe d'equivalència]]. I finalment això ens permet construir nous conjunts reunint tots els elements similars en un únic element. D'aquesta forma s'arriba al concepte de [[conjunt quocient]]