Jabarkan jika dan hanya jika dari Notasi ungkapan himpunan

Oleh karena itu, dengan tujuan untuk membuktikan persamaan dua himpunan didefinisikan oleh notasi ungkapan himpunan, ini cukup untuk membuktikan kesetaraan predikatnya, termasuk pemberi sifat daerah asal.