Mengi $A$ er sagt vera hlutmengi í mengi $B$ ef sérhvert stak í $A$ er líka stak í $B$. Þetta er táknað með $A \subset B$. Á Venn-myndinni að neðan er $A$ hlutmengi í $B$ því svæðið innan minni hringsins (sem táknar stökin í $A$) er líka innan stærri hringsins (sem táknar stökin í $B$).
Dæmi: Mengið $A = \{1,2,5,6\}$ er hlutmengi í menginu $B = \{1,2,3,4,5,6\}$, þ.e. $A \subset B$, því sérhvert stak í $A$ er líka stak í $B$.
Dæmi: Mengið $\mathbb{N}$ er hlutmengi í $\mathbb{Z}$ því sérhver náttúruleg tala er líka heil tala, $\mathbb{Z}$ er hlutmengi í $\mathbb{Q}$ því sérhver heil tala er líka ræð tala og $\mathbb{Q}$ er hlutmengi í $\mathbb{R}$ því sérhver ræð tala er líka rauntala. Með öðrum orðum gildir að $\mathbb{N} \subset \mathbb{Z} \subset \mathbb{Q} \subset \mathbb{R}$. Venn-myndin hér að neðan sýnir innbyrðis afstöðu þessara rauntalnamengja.
Dæmi: Látum $A$ vera mengi. Sérhvert stak í tóma menginu er líka stak í $A$, þ.e. $\varnothing \subset A$, því tóma mengið hefur ekkert stak. Einnig gildir augljóslega að sérhvert stak í $A$ er líka stak í $A$, svo $A \subset A$.
Eiginlegt hlutmengi
Ef $A$ er hlutmengi í $B$ geta $A$ og $B$ verið sama mengið eins og síðasta dæmið að ofan sýnir. Hins vegar gerist þess oft þörf að útiloka þennan möguleika og það leiðir til eftirfarandi skilgreiningar: Ef $A$ er hlutmengi í $B$ og auk þess eru $A$ og $B$ ekki sama mengið er sagt að $A$ sé eiginlegt hlutmengi í $B$. Þetta er táknað með $A \subsetneqq B$.
Munurinn á hlutmengi og eiginlegu hlutmengi er sem sagt sá að seinna hugtakið felur í sér meiri upplýsingar en það fyrra: $A \subset B$ segir einungis að sérhvert stak í $A$ sé líka stak í $B$, en $A \subsetneqq B$ segir auk þess að $A$ og $B$ séu ekki sama mengið.
Dæmi: Mengið $A = \{1,2,5,6\}$ er eiginlegt hlutmengi í menginu $B = \{1,2,3,4,5,6\}$, þ.e. $A \subsetneqq B$, því $A$ er hlutmengi í $B$ og auk þess eru $A$ og $B$ ekki sama mengið. Í þessu dæmi er þess vegna bæði rétt að segja að $A \subset B$ og að $A \subsetneqq B$, eini munurinn er sá að seinni rithátturinn gefur meiri upplýsingar en sá fyrri.
Dæmi: Við vitum þegar samkvæmt dæmi að ofan að $\mathbb{N} \subset \mathbb{Z}$. Einnig vitum við að $-1$ er heil tala en ekki náttúruleg tala, svo $\mathbb{N}$ og $\mathbb{Z}$ eru ekki sama mengið og því getum við líka sagt að $\mathbb{N} \subsetneqq \mathbb{Z}$.
Sömuleiðis vitum við þegar að $\mathbb{Z} \subset \mathbb{Q}$. Einnig vitum við að $\frac{1}2$ er ræð tala en ekki heil tala, svo $\mathbb{Z}$ og $\mathbb{Q}$ eru ekki sama mengið og því getum við líka sagt að $\mathbb{Z} \subsetneqq \mathbb{Q}$.
Loks vitum við þegar að $\mathbb{Q} \subset \mathbb{R}$. Einnig vitum við að $\sqrt{2}$ er óræð tala, svo $\mathbb{Q}$ og $\mathbb{R}$ eru ekki sama mengið og því er $\mathbb{Q} \subsetneqq \mathbb{R}$.
Með öðrum orðum getum við sagt að $\mathbb{N} \subsetneqq \mathbb{Z} \subsetneqq \mathbb{Q} \subsetneqq \mathbb{R}$.
Dæmi: Um öll ekki-tóm mengi $A$ gildir að $\varnothing \subsetneqq A$ því þá er til stak í $A$ sem er ekki í $\varnothing$. Hins vegar er $A$ ekki eiginlegt hlutmengi í $A$.
Myndun nýrra hlutmengja
Fyrir sérhvert mengi $A$ og opna yrðingu $p(x)$ gildir að lausnamengi $p(x)$ í $A$ er hlutmengi í $A$, þ.e. \[ \{ x \in A \mid p(x) \} \subset A. \] Þannig má mynda ný hlutmengi í $A$ á ótal vegu með notkun opinna yrðinga.
Dæmi: Nota má opnu yrðingarnar $p(x)$: „$x$ er slétt tala“, $q(x)$: „$x^2 \leq 16$“ og $r(x)$: „$x^4 = 81$“ til að smíða ný hlutmengi í $\mathbb{Z}$. Þau eru:
- $\{x \in \mathbb{Z} \mid x \;\text{er slétt tala} \} = \{\ldots,-4,-2,0,2,4,\ldots\}$.
- $\{x \in \mathbb{Z} \mid x^2 \leq 16\} = \{-4,-3,-2,-1,0,1,2,3,4\}$.
- $\{x \in \mathbb{Z} \mid x^4 = 81\} = \{-3,3\}$.