Coba jelasin . dari Himpunan (matematika) dong

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 .