Himpunan bagian

Untuk setiap himpunan "S", inklusi ⊆ merupakan pada himpunan formula_5 untuk semua subset dari "S" ( dari "S").