Clase (en lógica)

Conjunto finito o infinito, tomado como un todo, de objetos que se distinguen por un determinado rasgo. Los objetos que constituyen la clase se denominan elementos de la misma. Tales elementos pueden ser no sólo individuos, sino también clases, por lo que se habla de diferentes tipos de clases. Generalmente, las clases se definen partiendo de las propiedades comunes a todos sus elementos. Esto permite situar el concepto de clase en correspondencia con el concepto de función proposicional, ya que para que un elemento pertenezca a una clase dada es necesario y suficiente poseer la propiedad que la forma. El examen completo y sistemático de las clases, de sus propiedades generales y de las operaciones que con ellas se efectúan en lógica se, halla contenido en la denominada teoría de las clases.