Classe (teoria dos conjuntos)

Predefinição:Sem fontes 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 $\mathrm{\Omega }$ um espaço amostral e $𝔸$ uma classe de subconjuntos de $\mathrm{\Omega }$. Se $𝔸$ satisfaz as propriedades

P1. $\mathrm{\Omega }\in 𝔸$

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

P3. Se $A,B\in 𝔸$, então $A\cup B\in 𝔸$

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