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.

1. ^ Lipschutz, Seymour (1995). Teori Himpunan. Diterjemahkan oleh Pantur Silaban. Jakarta: Erlangga.  Parameter |url-status= yang tidak diketahui akan diabaikan (bantuan)