Kelas (teori himpunan)

Suatu himpunan disebut sebagai kelas, atau keluarga himpunan jika himpunan tersebut terdiri dari himpunan-himpunan. Himpunan $A=\{\{a,\,b\},\,\{c,\,d,\,e,\,f\},\,\{a,\,c\},\,\{,\}\}$ adalah sebuah keluarga himpunan. Perhatikan bahwa untuk sembarang himpunan A, maka himpunan kuasanya, ${\mathcal {P}}(A)$ adalah sebuah keluarga himpunan.

Contoh berikut, $P=\{\{a,\,b\},c\}$ bukanlah sebuah kelas, karena mengandung anggota c yang bukan himpunan.