Kelas (teori himpunan)

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

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