Coba jelasin jika dan hanya jika dari Notasi ungkapan himpunan dong

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.