Himpunan bagian

Ketika dikuantifikasi, ditulis: }.