Matemaatiline maailmapilt
elementideks (ehk hulga A iga element kuulub hulka B).
Kui hulk A on hulga B osahulk, siis kirjutame A B.
Kui hulk A ei ole hulga B osahulk, siis kirjutame A B.
Kvantorite abil saame osahulgaks olemist ja mitteolemist kirja panna järgmiselt:
A B tähendab, et x (x A x B) ja A B tähendab, et x (x A x B)
Näide: 1. (0, 1) [0, 1].
2. Hulgal {a, b} on järgmised osahulgad: , {a}, {b}, {a, b}.
3.
4. {} {, {}}
Sisalduvusseose omadused
Lause
Hulkade sisalduvusseosel on järgmised omadused:
1. Refleksiivsus: Iga hulga A korral A A;
2. Antisümmeetrilisus: Kui A ja B on sellised hulgad, et A B ja B A, siis A = B;
3. Transitiivsus: Kui A, B ja C on sellised hulgad, et A B ja B C, siis A C;
4. Tühi hulk on iga hulga osahulk.
TÕESTUS
2. Eeldame, et A B ja B A. Peame näitama, et A = B. Oletame vastuväiteliselt, et A B.
Üldisust kitsendamata võime eeldada, et leidub element x nii, et x A ja x B
annaabi.ee 
