Coba jelasin Contohnya, dari Notasi ungkapan himpunan dong

karena dua predikat kaidahnya adalah setara secara logis:

Kesetaraan ini berlaku karena, untuk suatu bilangan real , kita memiliki  jika dan hanya jika  adalah sebuah bilangan rasional dengan . Khususnya, kedua himpunan sama dengan himpunan .