Tolong jelaskan mengenai Syarat keanggotaan himpunan dari Himpunan (matematika)

Himpunan dapat didefinisikan dengan merumuskan syarat yang harus dipenuhi seluruh anggotanya. Terkadang syarat ini mengikutkan pula dari himpunan semesta mana anggota himpunan baru itu akan diambil. Dengan notasi pembentuk himpunan, secara umum ditulis sebagai

yang dapat dibaca " adalah himpunan semua anggota himpunan  sedemikian rupa sehingga pernyataan  benar berlaku".