Jabarkan . dari Himpunan (matematika)

Definisi di atas sangat berguna untuk membuktikan bahwa dua himpunan  dan  adalah sama. Pertama, buktikan dahulu  adalah himpunan bagian , kemudian buktikan bahwa  adalah himpunan bagian .