Divisió d'un conjunt determinat en un conjunt de classes disjuntas, o simplement la clasificación d'un conjunt. El resultat d'una partició és una relació d'equivalència entre classes (veure text ).