ታህታይ ስብስብ

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

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

ስብስብA የስብስብB ታህታይ ስብስብ ነው

ስብስብA የስብስብB ታህታይ ስብስብ ነው

ምሳሌ፡

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

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

• ∅ ⊆ A.
• A ⊆ A.

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

• ሁለት ስብስቦች A = B እኩል የሚሆኑት A ⊆ B እና B ⊆ A ሲሆኑና ሲሆኑ ብቻ ነው።