Tolong jelaskan mengenai atau dari Notasi ungkapan himpunan

Garis vertikal (atau tanda titik dua) merupakan sebuah pemisah yang dapat dibaca sebagai "sedemikian sehingga". "untuk yang", atau "dengan sifatnya bahwa". Rumus  dikatakan menjadi kaidah atau predikat. Semua nilai  untuk yang predikatnya berlaku (adalah benar) menjadi miliki himpunan telah didefinisikan. Semua nilai  untuk yang predikatnya tidak berlaku tidak menjadi milik himpunannya. Demikian,  adalah himpunan semua nilai  yang memenuhi rumus . Ini dapat menjadi himpunan kosong, jika tidak ada nilai  memenuhi rumusnya.