Classe (teoria dos conjuntos)

Em teoria dos conjuntos, uma classe (também chamada coleção) é "quase" um conjunto, ou seja, classes tem várias propriedades em comum com conjuntos, mas não são, necessariamente, conjuntos.

Como ilustração, seja A a classe de todos os conjuntos unitários. É intuitivo que $\{ 0 \} \in A\,$ ou mesmo que $\{ \mathbb{N} \} \in A\,$, porém não podemos dizer que A seja um conjunto: este conjunto teria várias propriedades paradoxais.

Em termos um pouco mais rigorosos, uma classe é definida por uma propriedade que seja suficientemente precisa para que seja possível dizer se um conjunto satisfaz ou não a esta propriedade.

Uma classe é "pequena" quando existe um conjunto de todos conjuntos que satisfazem esta propriedade.