ታህታይ ስብስብ

ማናቸውም የስብስብ  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