Es la agrupación de los elementos de un conjunto en subconjuntos, clases o conceptos clasificatorios que lo dividen de forma disyuntiva y exhaustiva. Clasificar es, por tanto, dividir en grupos de forma tal que: ningún grupo sea vacío, ningún elemento pertenezca a más de un grupo y la suma de los elementos de todos los grupos equivalga a la extensión total del conjunto. Entonces se dice que los conceptos clasificatorios constituyen una partición de un conjunto.