Tolong jelaskan mengenai Ketika dikuantifikasi,  ditulis: }. dari Himpunan bagian

Sejumlah pengarang menggunakan simbol ⊂ dan ⊃ untuk masing-masing mengindikasikan "subset" dan "superset", bukan dengan simbol ⊆ dan ⊇, tetapi artinya sama. Misalnya, bagi para pengarang ini, adalah benar untuk setiap himpunan A bahwa A ⊂ A.

Para pengarang lain lebih suka menggunakan simbol ⊂ dan ⊃ untuk masing-masing mengindikasikan himpunan bagian dan superhimpunan sejati, daripada ⊊ dan ⊋. Penggunaan ini membuat ⊆ dan ⊂ analog dengan simbol ketidaksamaan ≤ dan <. Misalnya, jika x ≤ y maka x dapat sama dengan y, atau tidak sama, tetapi jika x < y, maka x pasti tidak akan sama dengan y, dan pasti lebih kecil dari y. Ini mirip dengan kaidah penggunaan ⊂ sebagai "himpunan bagian sejati", jika A ⊆ B, maka A dapat sama atau tidak sama dengan B, tetapi jika A ⊂ B, maka A pasti tidak akan sama dengan B.