Notasi ungkapan himpunan itu apa sih?

Dalam teori himpunan, dan penerapannya dalam logika, matematika, dan ilmu komputer, notasi pembentuk himpunan (juga disebut notasi ungkapan himpunan) merupakan sebuah notasi matematis untuk menjelaskan suatu himpunan dengan menyatakan sifat-sifat yang harus dipenuhi anggota himpunan tersebut.

Mendefinisikan himpunan-himpunan oleh sifat-sifat juga dikenal sebagai pemahaman himpunan, keniskalaan himpunan atau sebagai mendefinisikan "intensi" () suatu himpunan.

Menyatakan himpunan dengan menuliskan semua anggotanya

Suatu himpunan dapat dinyatakan secara langsung dengan menyebut satu demi satu semua unsurnya antara kurung kurawal, seperti:

adalah himpunan berisi empat bilangan, 3, 7, 15, dan 31, dan tidak ada lagi.

adalah himpunan berisi , , dan , dan tidak ada lagi (tidak ada urutan antar unsur dalam himpunan).

Ini terkadang disebut "metode daftar" untuk menentukan sebuah himpunan.

Notasi elipsis dapat digunakan apabila hendak melambangkan himpunan yang berisi unsur-unsur dari sebuah barisan beraturan, seperti:

adalah himpunan bilangan bulat antara 1 dan 100, temasuk 1 san 100 itu.