Por lo tanto constituye la clasificación de los conjuntos mediante las fórmulas que los definen.