• Source: Himpunan semesta

Dalam penerapan teori himpunan, himpunan semesta atau universum atau semesta pembicaraan adalah himpunan semua objek yang sedang dibicarakan. Himpunan semesta biasa dilambangkan dengan



S


{\displaystyle S}

(dari "semesta") atau



U


{\displaystyle U}

(dari "universum").
Dalam teori himpunan aksomatik, pengertian himpunan semesta ini tidak ada. "Himpunan beranggotakan semua himpunan" dapat menimbulkan berbagai paradoks, contohnya adalah himpunan berikut:




A
=
{
x


|


x
∉
A
}


{\displaystyle A=\{x\,|\,x\notin A\}}


Himpunan



A


{\displaystyle A}

tidak mungkin ada, karena jika



A


{\displaystyle A}

ada, berarti harus mengandung anggota yang bukan merupakan anggotanya. Namun jika bukan anggotanya, lalu bagaimana mungkin



A


{\displaystyle A}

bisa mengandung anggota tersebut.




Referensi

Kata Kunci Pencarian:

• Himpunan semesta
• Himpunan (matematika)
• Teori himpunan
• Kategori himpunan
• Irisan (teori himpunan)
• Gabungan (teori himpunan)
• Daftar topik teori himpunan
• Himpunan kosong
• Elemen (matematika)
• Aljabar universal
• Prabowo Subianto