Clase (teoría de conjuntos)
familia de conjuntos matemáticos o colección de conjuntos que no necesariamente es un conjunto / De Wikipedia, la enciclopedia encyclopedia
En teoría de conjuntos, lógica de clases y sus aplicaciones en matemáticas, una clase es una familia de conjuntos o colección de conjuntos (u otros objetos matemáticos) que no necesariamente es un conjunto. El concepto de clase aparece al intentar «agrupar» todos los conjuntos (u objetos) que comparten una cierta propiedad.
En la teoría de conjuntos de Zermelo-Fraenkel (ZF) se denomina de manera informal «clase» a toda propiedad expresada por una fórmula de su lenguaje, aun cuando pueda demostrarse que no existe un conjunto que contenga todos los objetos con esa propiedad, en cuyo caso se denomina una clase propia. El uso de las clases es entonces a través de notación. Sin embargo existen otras teorías, como la teoría de conjuntos de Von Neumann-Bernays-Gödel (NBG), en las que las clases son objetos de pleno derecho y puede establecerse una distinción entre ambos tipos de «colecciones de objetos».
Ejemplos de clases propias son la clase universal, la clase R de la paradoja de Russell o la clase de todos los ordinales.