Classe (teoria dos conjuntos)

Em teoria dos conjuntos, uma classe (também chamada coleção ou família) é uma coleção (não necessariamente um conjunto, por exemplo a classe de todos os conjuntos) constituída de outros conjuntos (ou outros objetos matemáticos) de um espaço dado. Isto é, uma classe é um conjunto cujos elementos são outros conjuntos.

Exemplo

Seja $\Omega$ um espaço amostral e $\mathbb {A}$ uma classe de subconjuntos de $\Omega$. Se $\mathbb {A}$ satisfaz as propriedades

P1. $\Omega \in \mathbb {A}$

P2. Se $A\in \mathbb {A}$, então $A^{\complement }\in \mathbb {A}$

P3. Se $A,B\in \mathbb {A}$, então $A\cup B\in \mathbb {A}$

Então diremos que $\mathbb {A}$ é uma álgebra de subconjuntos de $\Omega$. Predefinição:Teoria dos conjuntos