Cuando un conjunto se divide en subconjuntos disjuntos, cada uno de éstos es una clase; en la práctica, esta división del conjunto en partes se hace definiendo en él una relación de equivalencia (estrictamente, se puede demostrar que cualquier descomposición del conjunto se puede definir como una relación de equivalencia que la consiga). En este caso se habla de clase de equivalencia, y al conjunto de las clases de equivalencia se le llama conjunto cociente; por ej., en el conjunto de las figuras del plano se puede definir la relación de equivalencia: dos figuras están relacionadas si tienen el mismo número de lados. Esta relación divide al conjunto en las clases: triángulos, cuadriláteros, pentágonos, etc. Teoría de las clases Teoría creada hacia 1937 por Von Neumann y Bernays con el fin de lograr una axiomatización de las matemáticas en vista de las paradojas surgidas en la teoría de conjuntos. Para llegar al concepto de clase se admite en lógica que, a toda...