Himpunan Semesta

Himpunan Semesta didefinisikan sebagai himpunan yang memuat semua anggota ataupun objek himpunan yang dibicarakan. Himpunan semesta disimbolkan dengan S.

Sebagai contoh, misalkan A = {3, 5, 7, 9} maka kita bisa menghitung himpunan semesta yang mungkin adalah S = {bilangan ganjil} atau S = {bilangan asli} atau S = {Bilangan Cacah} atau S = {bilangan real}. Tetapi kita tidak menuliskannya sebagai S = {bilangan prima} karena ada angka 9 yang bukan termasuk bilangan prima.