ታህታይ ስብስብ

ከውክፔዲያ

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

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

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

ምሳሌ፡

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

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

  • ∅ ⊆ A.
  • AA.

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

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