Notasi ungkapan himpunan

Dalam teori himpunan, dan penerapannya dalam logika, matematika, dan ilmu komputer, notasi pembentuk 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.