ታህታይ ስብስብ
ማናቸውም የስብስብ  ''A''  አባላት የስብስብ  ''B'' አባላት ከሆኑ፣   ''A''  የ ''B''  '''ታህታይ ስብስብ''' ነው እንላለን። ሲጻፍ  ''A'' ⊆ ''B'' ( ሲነበበ ''A  ስብስብ B ውስጥ ይገኛል'')። በዚህ ትይዩ እንዲህ በለንም መጻፍ እንችላለን  ''B'' ⊇ ''A'', ሲነበብ''B የA [[ላዕላይ ስብስብ]] ነው'' ወይም  ''B ስብስብ Aን ይጠቀልላል''።

''A'' የ''B'' ታህታይ ስብስብ ሆኖ ነገር ግን ሁለቱ ስብስቦች [[እኩል ስብስብ|እኩል]] ካልሆኑ ,  ''A'' የ''B'' [[ደንበኛ ታህታይ ስብስብ]] ይሰኛል፣ በሒሳብ ምልክት ሲጻፍ ''A'' ⊂ ''B''። ሌሎች ደራሲያን ይህን ምልከት ''A'' ⊊ ''B'' ይጠቀማሉ።

<div style="float:right;margin:1em;">[[File:Venn A subset B.svg|150px|center|ስብስብA የስብስብB ታህታይ ስብስብ ነው ]]<div class="center"><small> ስብስብA የስብስብB '''ታህታይ ስብስብ''' ነው</small></div></div>

ምሳሌ፡ 
:* የሁሉ ወንዶች ስብስብ  የሁሉ ሰወች ስብስብ ታህታይ ስብስብነው።
:* {1, 3} &#x228A; {1, 2, 3, 4}.
:* {1, 2, 3, 4} &sube; {1, 2, 3, 4}.

[[ባዶ ስብስብ]] የማናቸውም ስብስብ ታህታይ ስብስብ ነው። ሁሉም ስብስብ በበኩሉ የራሱ ስብስብ ታህታይ ስብስብ ነው።
:* &empty; &sube; ''A''.
:* ''A'' &sube; ''A''.

ሁለት ስብስቦች [[የስብስብ እኩል|እኩል]] እንደሆኑ ለ[[ማረጋገጥ]] የሚያገለግል  መምሪያ ሐሳብ ይኼ ነው፦ 
:*  ሁለት ስብስቦች {{nowrap|1=''A'' = ''B''}} እኩል የሚሆኑት   {{nowrap|''A'' &sube; ''B''}} እና {{nowrap|''B'' &sube; ''A''}} ሲሆኑና ሲሆኑ ብቻ ነው።

{{መዋቅር}}
[[መደብ: ሥነ ስብስብ]]

[[ro:Mulțime#Submulțimi]]
ማናቸውም የስብስብ  A  አባላት የስብስብ  B አባላት ከሆኑ፣   A  የ B  ታህታይ ስብስብ ነው እንላለን። ሲጻፍ  A ⊆ B ( ሲነበበ A  ስብስብ B ውስጥ ይገኛል)። በዚህ ትይዩ እንዲህ በለንም መጻፍ እንችላለን  B ⊇ A, ሲነበብB የA ላዕላይ ስብስብ ነው ወይም  B ስብስብ Aን ይጠቀልላል።

A የB ታህታይ ስብስብ ሆኖ ነገር ግን ሁለቱ ስብስቦች እኩል ካልሆኑ ,  A የB ደንበኛ ታህታይ ስብስብ ይሰኛል፣ በሒሳብ ምልክት ሲጻፍ A ⊂ B። ሌሎች ደራሲያን ይህን ምልከት A ⊊ B ይጠቀማሉ።

150px|center|ስብስብA የስብስብB ታህታይ ስብስብ ነው  ስብስብA የስብስብB ታህታይ ስብስብ ነው

ምሳሌ፡ 
 የሁሉ ወንዶች ስብስብ  የሁሉ ሰወች ስብስብ ታህታይ ስብስብነው።
 {1, 3} ⊊ {1, 2, 3, 4}.
 {1, 2, 3, 4} ⊆ {1, 2, 3, 4}.

ባዶ ስብስብ የማናቸውም ስብስብ ታህታይ ስብስብ ነው። ሁሉም ስብስብ በበኩሉ የራሱ ስብስብ ታህታይ ስብስብ ነው።
 ∅ ⊆ A.
 A ⊆ A.

ሁለት ስብስቦች እኩል እንደሆኑ ለማረጋገጥ የሚያገለግል  መምሪያ ሐሳብ ይኼ ነው፦ 
  ሁለት ስብስቦች  እኩል የሚሆኑት    እና  ሲሆኑና ሲሆኑ ብቻ ነው።

መደብ: ሥነ ስብስብ

ro:Mulțime#Submulțimi