Classe (teoria dos conjuntos)

Origem: Wikipédia, a enciclopédia livre.
Ir para: navegação, pesquisa

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.


Wiki letter w.svg Este artigo é um esboço. Você pode ajudar a Wikipédia expandindo-o. Editor: considere marcar com um esboço mais específico.