ንዑስ ስብስብ vs ሱፐርሴት
በሂሳብ ፣የስብስብ ጽንሰ-ሀሳብ መሰረታዊ ነው። ዘመናዊው የቅንብር ንድፈ ሐሳብ ጥናት በ1800ዎቹ መገባደጃ ላይ መደበኛ ነበር። የሴት ቲዎሪ መሰረታዊ የሂሳብ ቋንቋ እና የዘመናዊ ሂሳብ መሰረታዊ መርሆች ማከማቻ ነው። በሌላ በኩል፣ በራሱ መብት የሒሳብ ክፍል ነው፣ እሱም በዘመናዊ ሂሳብ ውስጥ እንደ የሂሳብ ሎጂክ ቅርንጫፍ ነው።
ስብስብ በደንብ የተገለጸ የነገሮች ስብስብ ነው። በደንብ የተገለጸው ማለት አንድ ሰው የተሰጠው ነገር የአንድ የተወሰነ ስብስብ አባል መሆን አለመሆኑን ለማወቅ የሚያስችል ዘዴ አለ ማለት ነው። የአንድ ስብስብ የሆኑ ነገሮች ንጥረ ነገሮች ወይም የስብስቡ አባላት ይባላሉ።ስብስቦች ብዙውን ጊዜ በትላልቅ ፊደላት ይወከላሉ እና ንዑስ ሆሄያት ክፍሎችን ለመወከል ጥቅም ላይ ይውላሉ።
አንድ ስብስብ A የአንድ ስብስብ B ንዑስ ስብስብ ነው ይባላል; ከሆነ እና ብቻ ከሆነ፣ እያንዳንዱ የA አካል የስብስብ B አካል ነው። እንዲህ ያለው በስብስብ መካከል ያለው ግንኙነት በ A ⊆ B ይገለጻል። እንዲሁም 'A በ B' ውስጥ እንዳለ ሊነበብ ይችላል። ስብስብ A ትክክለኛ ንዑስ ስብስብ ነው የሚባለው A ⊆ B እና A ≠B ከሆነ እና በ A ⊂ B የሚገለጽ ነው። በ A ውስጥ የ B አባል ያልሆነ አንድ አባል እንኳን ካለ፣ A የ B ንዑስ ስብስብ ሊሆን አይችልም። ባዶ ስብስብ የማንኛውም ስብስብ ንዑስ ስብስብ ነው፣ እና ስብስብ እራሱ ተመሳሳይ ስብስብ ነው።
A የ B ንዑስ ስብስብ ከሆነ ሀ በ B ውስጥ ይካተታል፡ B A እንደያዘ ያመለክታል ወይም በሌላ አነጋገር B የ A ልዕለ ስብስብ ነው። የA.
ለምሳሌ A={1, 3} የ B={1, 2, 3} ነው ምክንያቱም በ B. B ውስጥ ያሉት ሁሉም ንጥረ ነገሮች የ A ልዕለ ስብስብ ናቸው ምክንያቱም B ይዟል. A. Let A={1, 2, 3} እና B={3, 4, 5}። ከዚያ A∩B={3}። ስለዚህ፣ ሁለቱም A እና B የA∩B የበላይ ስብስቦች ናቸው።ስብስብ A∪B፣ የሁለቱም የA እና B ልዕለ ስብስብ ነው፣ ምክንያቱም A∪B፣ ሁሉንም በ A እና B ውስጥ ያሉትን ንጥረ ነገሮች ይዟል።
ሀ የ B ሱፐርሴት ከሆነ እና B የ C ሱፐርሴት ከሆነ ሀ የሐ ሱፐር ስብስብ ነው።
'A የቢ ንዑስ ስብስብ ነው እንዲሁም 'A በ B' ውስጥ እንዳለ ይነበባል፣ በ A ⊆ B.
'B የA ሱፐር ስብስብ ነው'እንዲሁም 'B በ A ውስጥ ይዟል' ተብሎ ይነበባል፣ በ A ⊇ B.
