# ስብስብ
ስብስብ ሲባል ተለይተው ሊዘርዘሩ የሚችሉ ነገሮች ክምችት ማለት ነው። ሥነ ስብስብ የሒሳብ ጥናት መሰረት ከመሆኑ የተነሳ በአሁኑ ወቅት በሁሉም የሂሳብ ዘርፎች ሰርጾ ይገኛል። ስለሆነም ከመዋዕለ ህጻናት እስከ ዩኒቨርስቲወች ድረስ የስብስብ ጥናት እንደ ትምህርት ይሰጣል።

## ትርጓሜወች
ከላይ እንደተጠቀሰው ስብስብ ማለቱ ጥርት ብለው የተለዩ ነገሮች (የየቅል ነገሮች) ክምችት ማለት ነው። እኒህ የተከማቹ ነገሮች፣ እያንዳንዳቸው፣ የስብስቡ አባል ይሰኛሉ። የአንድ ስብስብ አባላት ማናቸውም አይነት ነገር ሊሆኑ ይችላሉ ፦ ሰወች፣ ቁጥሮች፣ ፊደሎች፣ ሌሎች ስብስቦች፣ ወዘተ... ። 
ስብስቦች፣ በእንግሊዝኛ ፊደላት ካፒታል ሌተር ይሰየማሉ። ስብስብ A እና ስብስብ B እኩል ናቸው የሚባሉት ሁለቱም ስብስቦች አንድ አይነትና አንድ አይነት ብቻ ስብስብ ሲኖራቸው ነው።

## ስብስብን የመግለጫ መንገዶች
ስብስብን በሁለት አይነት መንገድ መግልጽ ይቻላል። አንደኛው ቃላትን በመጠቀም የስብስቡን አባላት በመወሰን ነው። ምሳሌ፡-
A ማለት የመጀመሪያዎቹ አራት መቁጠሪያ ቁጥሮች ስብስብ ነው
B ማለት የኢትዮጵያ ሰንደቅ አላማ ቀለማት ስብስብ ነው
ሁለተኛው መንገድ የስብስቡን አባላት አንድ-ባንድ በመዘርዘር ይሆናል። ለዚህ ተግባር እንዲጠቅም አባላቱን በብራኬት መክበብና የእንግሊዝኛ ኮማ በአባላቱ መካከል በማስቀመጥ ነው። ለምሳሌ
C = {4, 2, 1, 3}
D = {ቀይ, ቢጫ, አረንጓዴ}
የስብስብ አባላት፣ እያንዳዳቸው በጠራ ሁኔታ የተለያዩ (የየቅል) መሆን አለባቸው። አባላቱ ቢደጋገሙ ምንም ለውጥ አያመጡም። በሌላ አነጋገር የአንድ ሰብስብ ሁለት አባላቱ አንድ አይነት ሊሆኑ አይችሉም። የስብስብ አባላት አደራደር ቅደም-ተከተል የለውም። እንደፈለገ ሊደረደር ይችላል። እንዲህ የሆነበት ምክንያት የስብስብ ጽንሰ ሐሳብ ዋና አላም ማን/ምን የሰብስቡ አባል ነው የሚለውን ጥያቄ ለመመልስ ስለሆነ ነው። ስለዚህም የሚከተሉት ስብስቦች እኩል ናቸው። 
{6, 11} = {11, 6} = {11, 11, 6, 11}
የአንድ ስብስብ አባላት ብዙ ከሆኑና የአባላቱ ይዘት ግልጽ ከሆነ ሁሉንም አባላት መጻፍ አያስፈልግም። ለዚህ ተግባር ("...") መጠቀም ይቻላል።
{1, 2, 3, ..., 1000},
በብራኬት መንገድ እያንዳንዱን አባላት ሳይዘረዝሩ ስብስቡን መግለጽም ይቻላል። ለምሳሌ
E = {የካርታ ጨዋታ ምልክቶች} ማለቱ እኒህ ምልክቶች♠, ♦, ♥, እና ♣. አባላቱ የሆነ ስብስብ ማለቱ ነው።  በአጠቃላይ መልኩ  ስብስብ መስሪያ አጻጻፍ የሚባለውን ዘዴ በመጠቀም ስብስቦችን በብራኬት ተጠቀመን እንዲህ መስራት እንችላለን፡፡ ለምሳሌ
F = {n2 − 4 : n መቁጠሪያ ቁጥር ሲሆን; 0 ≤ n ≤ 19}
እዚህ ላይ  የ(":") ምልክት ትርጓሜው "ሆኖ ሲያበቃ" እንደማለት ነው።  ከላይ የተጠቀሰው ምሳሌ ሲነበብ  F  የሁሉም ቁጥሮች  n2 − 4, ስብስብ ሆኖ ሲያበቃ n ደግሞ በ0 እና 19 መካከል ያለ መቁጠሪያ ቁጥር ነው"። 

## አባልነት
ነገር a የስብስብ B አባል ከሆነ ይህ ኩነት እንዲህ ይወከላል a ∈ B። በሌላ በኩል  c የስብስብ B አባል ካልሆነ እንዲህ ይወከላል c ∉ B።
ሌላ ከበድ ያለ ምሳሌ ለመውሰድ ያክል  A = {1,2,3,4}, B = {ቀይ, ቢጫ አረንጓዴ}, እና F = {n2 − 4 : n መቁጠሪያ ቁጥር ነው; እና 0 ≤ n ≤ 19} 
4 ∈ A እና  285 ∈ F; ነገር ግን
9 ∉ F እና ሰማያዊ ∉ B.

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


## የስብስብ ብዛት
የስብስብ ብዛት የምንለው የአንድ ስብስብ አባላትን ብዛት ነው።  ለምሳሌ የስብስብ B ብዛት በሒሳብ ምልክት እንዲህ ይወከላል፡ | B |። ለምሳሌ፡ ስብስብ B የፈረንሳይ ባንዲራ ቀለሞች ስብስብ ቢሆን፣ የ B ብዛት  ሲሰላ | B | = 3 ነው፣ ምክንያቱም የፈረንሳይ ባንዲራ ቀለሞች 3 ናቸውና። 
ባዶ ስብስብ የምንለው ልዩ ስብስብ በውስጡ ምንም አባላት የሉትም ስለሆነም ብዛቱ ዜሮ ነው እንላለን።  ምልክቱም ይሄ ነው፡  ∅  ወይም { } ።  ለምሳሌ ጎናቸው አራት የሆኑ ሶስት ማዕዘኖች ስብስብ ዜሮ አባላት ስላሉት ባዶ ስብስብ ይባላል። 
በተጻራሪ አንድ አንድ  ስብስቦች አእላፍ ብዛት አሏቸው። ለምሳሌ የቁጥሮች ስብስብን ብንወሰድ አእላፍ አባላት አሉት።  አንድ አንድ አእላፋት ከሌሎች አእላፋት የሚበልጡበት ሁኔታ ይገኛል። ለምሳሌ የውኑ ቁጥር ብዛት ከመቁጠሪያ ቁጥር ብዛት ይበልጣል፣ ምንም እንኳ ሁለቱም ብዛታቸው አእላፍ ቢሆንም። በተጻራሪ አንድ አንድ እኩል የማይመስሉ አዕላፎች እኩል ሆነው ይገኛሉ። ለምሳሌ የመስመር ቁራጭ ና የተቆረጠበት መስመር እኩል ብዛት አላቸው፣ ማለት እኩል የነጥብ ብዛት አላቸው።  እኒህንና እኒህ የመሰሉ እንግዳ የአእላፍ ጠባዮች የተጠኑት በጆርጅ ካንተር ነበር።

### ርቢ ስብስቦች(ፓወር ሴት)
የስብስብ S ርቢ ስብስብ የምንለው ማናቸውንም  የስብስብ  S ታህታይ ስብስቦች አቅፎ የሚይዝን ስብስብ ነው። ማለት ከ S  አባላት የሚሰሩ ማናቸውንም ስብስቦችና ባዶ ስብስብን ይይዛል። አንድ ብዛቱ አእላፍ ያልሆነ (አባላቱ የሚያልቁ) ስብስብ  ብዛቱ  n  ቢሆነ የርቢ ስብስቡ ብዛት   2n ነው።   የርቢ ስብስብ  እንዲህ ይወከላል  P(S). 
ለምሳሌ፡
{1, 2, 3} ስብስብ ቢሰጠን፣ ርቢ ስብስቡ ይሄ ነው  {{1, 2, 3}, {1, 2}, {1, 3}, {2, 3}, {1}, {2}, {3}, ∅}.  የመጀመሪያው ስብስብ ብዛት 3 ሲሆን የርቢ ስብስቡ ብዛት  23 = 8 ነው።

## መሰረታዊ የስብስብ መተግበሪያወች
ከተሰጠ ስብስብ ወይም ስብስቦች ሌሎች ስብስቦች ለመፍጠር የተለያዩ መተግበራዊያወች ይገኛሉ። ከነዚህ ውስጥ ዋና ዋናዎቹ እኒህ ናቸው

### ውሁድ ስብስብ
ሁለት ስብስቦች "ሊደመሩ" ይችላሉ። መደመርን መተግብሪያ ውህድ ስብስብ ሲሆን፣ የA እና B ውህድ እንዲህ ይጻፋል  A ∪ B ። ትርጓሜውም   በ A ወይም በ B  የሚገኙ ሁሉም አባላት ስብስብ ማለት ነው።  
ምሳሌ:
- {1, 2} ∪ {ቀይ, ነጭ} ={1, 2, ቀይ, ነጭ}
- {1, 2, አረንጓዴ} ∪ {ቀይ፣ ነጭ፣ አረንጓዴ} ={1, 2, ቀይ፣ ነጭ፣ አረንጓዴ}
- {1, 2} ∪ {1, 2} = {1, 2}

አንድ አንድ መሰረታዊ የውህድ ስብስብ ጸባዮች:
- A ∪ B = B ∪ A.
- A ∪ (B ∪ C) = (A ∪ B) ∪ C.
- A ⊆ (A ∪ B).
- A ∪ A = A.
- A ∪ ∅ = A.
- A ⊆ B if and only if A ∪ B = B.


### የጋራ ስብስብ
የሁለት ስብስቦችን የጋራ አባላት በመውሰድ እንዲሁ አዲስ ስብስብ መፍጠር ይቻላል።  የA እና B የጋራ ስብስብ እንዲህ ይወከላል A ∩ B,፤ ትርጓሜውም  በ A እና በ B ውስጥ የሚገኙ የጋራ አባላቶች ስብስብ ማለት ነው።   A ∩ B = ∅, ከሆነ A እና  B የየቅል ስብስብ ይሰኛሉ። 
ምሳሌዎች:
- {1, 2} ∩ {ቀይ, ነጭ} = ∅.
- {1, 2, አረንጓዴ} ∩ {ቀይ, ነጭ, አረንጓዴ} = {አረንጓዴ}.
- {1, 2} ∩ {1, 2} = {1, 2}.

የጋራ ስብስብ መሰረታዊ ጸባዮች:
- A ∩ B = B ∩ A.
- A ∩ (B ∩ C) = (A ∩ B) ∩ C.
- A ∩ B ⊆ A.
- A ∩ A = A.
- A ∩ ∅ = ∅.
- A ⊆ B  የሚሆነው A ∩ B = A. ከሆነና ከሆነ ብቻ ነው።


### የስብስብ ውጭ
ሁለት ስብስቦች ሊቀናነሱ ይችላሉ።   A \ B (ወይም A − B) ማለቱ  ማናቸውም በA  ውስጥ ኖረው ነገር ግን በ B የማይገኙ አባላት ስብስብ ማለቱ ነው።  
በአንድ አንድ ስሌቶች ማናቸውም ስብስቦች የአቃፊያቸው አለም አቀፍ ስብስብ አባል እንደሆኑ ተደርገው ሊወሰዱ ይችላሉ።  ይህ ሁሉን አቃፊ ስብስብ እንዲህ ይወከላል፡  U ። በዚህ ጊዜ U \ A የ A ውጭ ወይንም የ Aተቃርኖ ይሰኛል። 
ምሳሌ:
- {1, 2} \ {ቀይ፣ ነጭ} = {1, 2}.
- {1, 2, አረንጓዴ} \ {ነጭ፣ ቀይ፣ አረንጓዴ} = {1, 2}.
- {1, 2} \ {1, 2} = ∅.
- {1, 2, 3, 4} \ {1, 3} = {2, 4}.
- አለም አቀፉ ስብስብ U የመቁጠሪያ ቁጥሮችን ቢወክል, E ደግሞ  ተጋማሽ ቁጥሮችን, O ኢተጋማሽ ቁጥሮችን ቢወክል,  E′ = O.

መሰረታዊ የውጭ ስብስብ ጸባዮች:
- A \ B ≠ B \ A.
- A ∪ A′ = U.
- A ∩ A′ = ∅.
- (A′)′ = A.
- A \ A = ∅.
- U′ = ∅ and ∅′ = U.
- A \ B = A ∩ B′.

የAእና  የB ሚዛናዊ ውጭ ስብስብ እንዲህ ይተረጎማል።
{\displaystyle A\,\Delta \,B=(A\setminus B)\cup (B\setminus A).}
ለምሳሌ የ {7,8,9,10} እና {9,10,11,12} ሚዛናዊ ውጭ ስብስብ  {7,8,11,12} ነው።

### ካርቴዣን ብዜት
እያንዳንዷን የአንድ ስብስብ አባላት ከሌላው ስብስብ አባላት ጋር በማያያዝ አዲስ ስብስብ መፍጠር ይቻላል።   የ ስብስብ A እና B ካርቴዥያዊ ብዜት እንዲህ ይወከላል A × B፤ ትርጓሜውም  የቅደም ተከተል ጥንዶች(a, b) ስብስብ ሆኖ ሲያበቃ፣  a እዚህ ላይ  የስብስብ A አባል ሲሆን  b ደግሞ የስብስብ B አባል ነው ማለት ነው።ብብ
ምሳሌ:
- {1, 2} × {ቀይ, ነጭ} = {(1, ቀይ), (1, ነጭ), (2, ቀይ), (2, ነጭ)}.
- {1, 2, green} × {red, white, green} = {(1, red), (1, white), (1, green), (2, red), (2, white), (2, green),
                                                          (green, red), (green, white), (green, green)}.
- {1, 2} × {1, 2} = {(1, 1), (1, 2), (2, 1), (2, 2)}.

መሰርታዊ የካርቴዢያዊ ብዜት ጸባዮች:
- A × ∅ = ∅.
- A × (B ∪ C) = (A × B) ∪ (A × C).
- (A ∪ B) × C = (A × C) ∪ (B × C).

A እና B አላቂ ስብስቦች ቢሆኑ  የብዛታቸው ጸባይ እንዲህ ነው
- | A × B | = | B × A | = | A | × | B |.


## የስነ ስብስብ ቦታ በሂሳብ ጥናት
የስብስብ ኅልዮት (ትምህርት) ለሁሉ የሒሳብ ትምህርት መሰረት እንደሆነ ይታመናል።  ለምሳሌ አልጀብራ፣ ቡድን ሂሳብ፣ መስክ ሂሳብ፣ ቀለበት ሂሳብ በሙሉ አንድ አይነት ወም ሌላ አይነት ስብስቦች ሲሆኑ የሚለያዩትም በአንድ ወይም በሌላ መተግብሪያ (ኦፕሬሽን) ስር መዘጋታቸው ብቻ ነው። በሌላ ጎን የስብስብ ኅልዮት ለዝምድና ሂሳብ መሰረት ነው።  ይሄም ለፈንክሽንና ሌሎች ጽንሰ ሃሳቦች አስፈላጊ ነው።

## ተጨማሪ ንባብ(እንግሊዝኛ)
- Dauben, Joseph W., Georg Cantor: His Mathematics and Philosophy of the Infinite, Boston: Harvard University Press (1979) ISBN 978-0-691-02447-9.
- Halmos, Paul R., Naive Set Theory, Princeton, N.J.: Van Nostrand (1960) ISBN 0-387-90092-6.
- Stoll, Robert R., Set Theory and Logic, Mineola, N.Y.: Dover Publications (1979) ISBN 0-486-63829-4.
- Velleman, Daniel, How To Prove It: A Structured Approach, Cambridge University Press (2006) ISBN 978-0-521-67599-4


## የውጭ ድረ ገጾች(እንግሊዝኛ)
- C2 Wiki - Examples of set operations using English operators.


ስብስብ
[[ስዕል:Sbsb.jpg|right|300px|thumb| ሁለት ስብስቦች ]]

'''ስብስብ''' ሲባል ተለይተው ሊዘርዘሩ የሚችሉ ነገሮች ክምችት ማለት ነው። [[ሥነ ስብስብ]] የሒሳብ ጥናት መሰረት ከመሆኑ የተነሳ በአሁኑ ወቅት በሁሉም የሂሳብ ዘርፎች ሰርጾ ይገኛል። ስለሆነም ከመዋዕለ ህጻናት እስከ ዩኒቨርስቲወች ድረስ የስብስብ ጥናት እንደ ትምህርት ይሰጣል።

== ትርጓሜወች ==

ከላይ እንደተጠቀሰው ስብስብ ማለቱ ጥርት ብለው የተለዩ ነገሮች (የየቅል ነገሮች) ክምችት ማለት ነው። እኒህ የተከማቹ ነገሮች፣ እያንዳንዳቸው፣ የስብስቡ [[አባል]] ይሰኛሉ። የአንድ ስብስብ አባላት ማናቸውም አይነት ነገር ሊሆኑ ይችላሉ ፦ ሰወች፣ ቁጥሮች፣ ፊደሎች፣ ሌሎች ስብስቦች፣ ወዘተ... ። 

ስብስቦች፣ በእንግሊዝኛ ፊደላት ''ካፒታል ሌተር'' ይሰየማሉ። ስብስብ ''A'' እና ስብስብ ''B'' እኩል ናቸው የሚባሉት ሁለቱም ስብስቦች አንድ አይነትና አንድ አይነት ብቻ ስብስብ ሲኖራቸው ነው።

== ስብስብን የመግለጫ መንገዶች ==
ስብስብን በሁለት አይነት መንገድ መግልጽ ይቻላል። አንደኛው ቃላትን በመጠቀም የስብስቡን አባላት በመወሰን ነው። ምሳሌ፡-

:''A'' ማለት የመጀመሪያዎቹ አራት [[መቁጠሪያ ቁጥሮች]] ስብስብ ነው
:''B'' ማለት የኢትዮጵያ ሰንደቅ አላማ ቀለማት ስብስብ ነው

ሁለተኛው መንገድ የስብስቡን አባላት አንድ-ባንድ በመዘርዘር ይሆናል። ለዚህ ተግባር እንዲጠቅም አባላቱን በ[[ብራኬት]] መክበብና የእንግሊዝኛ [[ኮማ]] በአባላቱ መካከል በማስቀመጥ ነው። ለምሳሌ

:''C'' = {4, 2, 1, 3}
:''D'' = {ቀይ, ቢጫ, አረንጓዴ}

የስብስብ አባላት፣ እያንዳዳቸው በጠራ ሁኔታ የተለያዩ (የየቅል) መሆን አለባቸው። አባላቱ ቢደጋገሙ ምንም ለውጥ አያመጡም። በሌላ አነጋገር የአንድ ሰብስብ ሁለት አባላቱ አንድ አይነት ሊሆኑ አይችሉም። የስብስብ አባላት አደራደር ቅደም-ተከተል የለውም። እንደፈለገ ሊደረደር ይችላል። እንዲህ የሆነበት ምክንያት የስብስብ ጽንሰ ሐሳብ ዋና አላም ማን/ምን የሰብስቡ አባል ነው የሚለውን ጥያቄ ለመመልስ ስለሆነ ነው። ስለዚህም የሚከተሉት ስብስቦች እኩል ናቸው። 
:{6, 11} = {11, 6} = {11, 11, 6, 11}

የአንድ ስብስብ አባላት ብዙ ከሆኑና የአባላቱ ይዘት ግልጽ ከሆነ ሁሉንም አባላት መጻፍ አያስፈልግም። ለዚህ ተግባር ("...") መጠቀም ይቻላል።

:{1, 2, 3, ..., 1000},

በብራኬት መንገድ እያንዳንዱን አባላት ሳይዘረዝሩ ስብስቡን መግለጽም ይቻላል። ለምሳሌ

:''E'' = {የካርታ ጨዋታ ምልክቶች} ማለቱ እኒህ ምልክቶች{{nowrap|♠, ♦, ♥, እና ♣.}} አባላቱ የሆነ ስብስብ ማለቱ ነው።  በአጠቃላይ መልኩ  [[ስብስብ መስሪያ አጻጻፍ]] የሚባለውን ዘዴ በመጠቀም ስብስቦችን በብራኬት ተጠቀመን እንዲህ መስራት እንችላለን፡፡ ለምሳሌ

:''F'' = {''n''<sup>2</sup> &minus; 4 : ''n'' መቁጠሪያ ቁጥር ሲሆን; 0 ≤ ''n'' ≤ 19}

እዚህ ላይ  የ(":") ምልክት ትርጓሜው "ሆኖ ሲያበቃ" እንደማለት ነው።  ከላይ የተጠቀሰው ምሳሌ ሲነበብ  ''F''  የሁሉም ቁጥሮች  ''n''<sup>2</sup> &minus; 4, ስብስብ ሆኖ ሲያበቃ ''n'' ደግሞ በ0 እና 19 መካከል ያለ መቁጠሪያ ቁጥር ነው"። 

== አባልነት ==
ነገር ''a'' የስብስብ ''B'' አባል ከሆነ ይህ ኩነት እንዲህ ይወከላል ''a'' ∈ ''B''። በሌላ በኩል  ''c'' የስብስብ ''B'' አባል '''ካልሆነ''' እንዲህ ይወከላል ''c'' ∉ ''B''።

ሌላ ከበድ ያለ ምሳሌ ለመውሰድ ያክል  ''A'' = {1,2,3,4}, ''B'' = {ቀይ, ቢጫ አረንጓዴ}, እና ''F'' = {''n''<sup>2</sup> &minus; 4 : ''n'' መቁጠሪያ ቁጥር ነው; እና 0 ≤ ''n'' ≤ 19} 
:4 &isin; ''A'' እና  285 &isin; ''F''; ነገር ግን 
:9 &notin; ''F'' እና ሰማያዊ &notin; ''B''.

=== ታህታይ ስብስብ ===

ማናቸውም የስብስብ  ''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;">[[ስዕል: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''}} ሲሆኑና ሲሆኑ ብቻ ነው።

== የስብስብ ብዛት ==
[[የስብስብ ብዛት]] የምንለው የአንድ ስብስብ አባላትን ብዛት ነው።  ለምሳሌ የስብስብ ''B'' ብዛት በሒሳብ ምልክት እንዲህ ይወከላል፡ {{nowrap|1={{!}}&thinsp;''B''&thinsp;{{!}}}}። ለምሳሌ፡ ስብስብ ''B'' የፈረንሳይ ባንዲራ ቀለሞች ስብስብ ቢሆን፣ የ ''B'' ብዛት  ሲሰላ {{nowrap|1={{!}}&thinsp;''B''&thinsp;{{!}} = 3}} ነው፣ ምክንያቱም የፈረንሳይ ባንዲራ ቀለሞች 3 ናቸውና። 

[[ባዶ ስብስብ]] የምንለው ልዩ ስብስብ በውስጡ ምንም አባላት የሉትም ስለሆነም ብዛቱ ዜሮ ነው እንላለን።  ምልክቱም ይሄ ነው፡  ∅  ወይም { } ።  ለምሳሌ ጎናቸው አራት የሆኑ ሶስት ማዕዘኖች ስብስብ ዜሮ አባላት ስላሉት ባዶ ስብስብ ይባላል። 

በተጻራሪ አንድ አንድ  ስብስቦች [[አእላፍ]] ብዛት አሏቸው። ለምሳሌ የቁጥሮች ስብስብን ብንወሰድ አእላፍ አባላት አሉት።  አንድ አንድ አእላፋት ከሌሎች አእላፋት የሚበልጡበት ሁኔታ ይገኛል። ለምሳሌ የ[[ውኑ ቁጥር]] ብዛት ከ[[መቁጠሪያ ቁጥር]] ብዛት ይበልጣል፣ ምንም እንኳ ሁለቱም ብዛታቸው አእላፍ ቢሆንም። በተጻራሪ አንድ አንድ እኩል የማይመስሉ አዕላፎች እኩል ሆነው ይገኛሉ። ለምሳሌ የመስመር ቁራጭ ና የተቆረጠበት መስመር እኩል ብዛት አላቸው፣ ማለት እኩል የነጥብ ብዛት አላቸው።  እኒህንና እኒህ የመሰሉ እንግዳ የአእላፍ ጠባዮች የተጠኑት በ[[ጆርጅ ካንተር]] ነበር።

=== ርቢ ስብስቦች(ፓወር ሴት) ===

የስብስብ ''S'' [[ርቢ ስብስብ]] የምንለው ማናቸውንም  የስብስብ  ''S'' [[# ታህታይ ስብስብ|ታህታይ ስብስቦች]] አቅፎ የሚይዝን ስብስብ ነው። ማለት ከ ''S''  አባላት የሚሰሩ ማናቸውንም ስብስቦችና ባዶ ስብስብን ይይዛል። አንድ ብዛቱ አእላፍ ያልሆነ (አባላቱ የሚያልቁ) ስብስብ  ብዛቱ  ''n''  ቢሆነ የርቢ ስብስቡ ብዛት   2<sup>''n''</sup> ነው።   የርቢ ስብስብ  እንዲህ ይወከላል  ''P''(''S''). 

ለምሳሌ፡

: {1, 2, 3} ስብስብ ቢሰጠን፣ ርቢ ስብስቡ ይሄ ነው  <nowiki>{{1, 2, 3}, {1, 2}, {1, 3}, {2, 3}, {1}, {2}, {3}, &empty;}</nowiki>.  የመጀመሪያው ስብስብ ብዛት 3 ሲሆን የርቢ ስብስቡ ብዛት  2<sup>3</sup> = 8 ነው።  

== መሰረታዊ የስብስብ መተግበሪያወች ==
ከተሰጠ ስብስብ ወይም ስብስቦች ሌሎች ስብስቦች ለመፍጠር የተለያዩ መተግበራዊያወች ይገኛሉ። ከነዚህ ውስጥ ዋና ዋናዎቹ እኒህ ናቸው

=== ውሁድ ስብስብ ===
[[ስዕል:Venn0111.svg|thumb|<div class="center"> የ ''A'' እና ''B''ውህድ  እንዲህ ይወከላል{{nowrap|''A'' ∪ ''B''}}</div>]]

ሁለት ስብስቦች "ሊደመሩ" ይችላሉ። መደመርን መተግብሪያ [[ውህድ ስብስብ]] ሲሆን፣ የ''A'' እና ''B'' ውህድ እንዲህ ይጻፋል  ''A''&nbsp;∪&nbsp;''B'' ። ትርጓሜውም   በ ''A'' [[ወይም]] በ ''B''  የሚገኙ ሁሉም አባላት ስብስብ ማለት ነው።  

ምሳሌ:
:* {{nowrap|1={1, 2} ∪ {ቀይ, ነጭ}}} {{nowrap|1=={1, 2, ቀይ, ነጭ} }}
:* {{nowrap|1={1, 2, አረንጓዴ} ∪ {ቀይ፣ ነጭ፣ አረንጓዴ}}} {{nowrap|1=={1, 2, ቀይ፣ ነጭ፣ አረንጓዴ} }}
:* {{nowrap|1={1, 2} ∪ {1, 2} = {1, 2}}}

አንድ አንድ መሰረታዊ የውህድ ስብስብ ጸባዮች:
:* {{nowrap|1=''A'' ∪ ''B'' = ''B'' ∪ ''A''.}}
:* {{nowrap|1=''A'' ∪ (''B'' ∪ ''C'') = (''A'' ∪ ''B'') ∪ ''C''.}}
:* {{nowrap|1=''A'' &sube; (''A'' ∪ ''B'').}}
:* {{nowrap|1=''A'' ∪ ''A'' = ''A''.}}
:* {{nowrap|1=''A'' ∪ &empty; = ''A''.}}
:* {{nowrap|''A'' &sube; ''B''}} [[if and only if]] {{nowrap|1=''A'' ∪ ''B'' = ''B''.}}

=== የጋራ ስብስብ ===
የሁለት ስብስቦችን የጋራ አባላት በመውሰድ እንዲሁ አዲስ ስብስብ መፍጠር ይቻላል።  የ''A'' እና ''B'' የጋራ ስብስብ እንዲህ ይወከላል {{nowrap|''A'' ∩ ''B'',}}፤ ትርጓሜውም  በ ''A'' [[እና]] በ ''B'' ውስጥ የሚገኙ የጋራ አባላቶች ስብስብ ማለት ነው።   {{nowrap|1=''A'' ∩ ''B'' = ∅,}} ከሆነ ''A'' እና  ''B''  [[የየቅል ስብስብ]] ይሰኛሉ። 

[[ስዕል:Venn0001.svg|thumb|<div class="center">የ ''A'' [[እና]] ''B'' የጋራ ስብስብ በ {{nowrap|''A'' ∩ ''B''}} ይወከላል</div>]]

ምሳሌዎች:
:* {{nowrap|1={1, 2} ∩ {ቀይ, ነጭ} = &empty;.}}
:* {{nowrap|1={1, 2, አረንጓዴ} ∩ {ቀይ, ነጭ, አረንጓዴ} = {አረንጓዴ}.}}
:* {{nowrap|1={1, 2} ∩ {1, 2} = {1, 2}.}}

የጋራ ስብስብ መሰረታዊ ጸባዮች:
:* {{nowrap|1=''A'' ∩ ''B'' = ''B'' ∩ ''A''.}}
:* {{nowrap|1=''A'' ∩ (''B'' ∩ ''C'') = (''A'' ∩ ''B'') ∩ ''C''.}}
:* {{nowrap|''A'' ∩ ''B'' &sube; ''A''.}}
:* {{nowrap|1=''A'' ∩ ''A'' = ''A''.}}
:* {{nowrap|1=''A'' ∩ &empty; = &empty;.}}
:* {{nowrap|''A'' &sube; ''B''}}  የሚሆነው {{nowrap|    1=''A'' ∩ ''B'' = ''A''.}} [[ከሆነና ከሆነ ብቻ]] ነው።

=== የስብስብ ውጭ ===
[[ስዕል:Venn0100.svg|thumb|<div class="center">''B'' ከ ''A'' ሲቀነስ <br /> ወይንም የ''B'' ውጭ ከ''A'' አንጻር </div>]]
[[ስዕል:Venn1010.svg|thumb|<div class="center">'''የ ''' ''A'' ውጭ-ስብስብ  በ ''U'' ውስጥ</div>]]
[[ስዕል:Venn0110.svg|thumb|<div class="center"> የ ''A'' እና ''B'' '''ሚዛናዊ-ውጭ'''</div>]]

ሁለት ስብስቦች ሊቀናነሱ ይችላሉ።   {{nowrap|''A'' \ ''B''}} (ወይም {{nowrap|''A'' &minus; ''B''}}) ማለቱ  ማናቸውም በ''A''  ውስጥ ኖረው ነገር ግን በ ''B'' የማይገኙ አባላት ስብስብ ማለቱ ነው።  

በአንድ አንድ ስሌቶች ማናቸውም ስብስቦች የአቃፊያቸው [[አለም አቀፍ ስብስብ]] አባል እንደሆኑ ተደርገው ሊወሰዱ ይችላሉ።  ይህ ሁሉን አቃፊ ስብስብ እንዲህ ይወከላል፡  ''U'' ። በዚህ ጊዜ {{nowrap|''U'' \ ''A''}} የ ''A'' [[የውጭ ስብስብ|ውጭ]] ወይንም የ ''A''ተቃርኖ ይሰኛል። 

ምሳሌ:
:* {{nowrap|1={1, 2} \ {ቀይ፣ ነጭ} = {1, 2}.}}
:* {{nowrap|1={1, 2, አረንጓዴ} \ {ነጭ፣ ቀይ፣ አረንጓዴ} = {1, 2}.}}
:* {{nowrap|1={1, 2} \ {1, 2} = &empty;.}}
:* {{nowrap|1={1, 2, 3, 4} \ {1, 3} = {2, 4}.}}
:* አለም አቀፉ ስብስብ ''U'' የመቁጠሪያ ቁጥሮችን ቢወክል, ''E'' ደግሞ  [[ተጋማሽ ቁጥር|ተጋማሽ ቁጥሮችን]], ''O''   [[ኢተጋማሽ ቁጥር|ኢተጋማሽ ቁጥሮችን]] ቢወክል,  ''E''&prime; = ''O''.

መሰረታዊ የውጭ ስብስብ ጸባዮች:
:* {{nowrap|1=''A'' \ ''B'' ≠ ''B'' \ ''A''.}}
:* {{nowrap|1=''A'' ∪ ''A''&prime; = ''U''.}}
:* {{nowrap|1=''A'' ∩ ''A''&prime; = &empty;.}}
:* {{nowrap|1=(''A''&prime;)&prime; = ''A''.}}
:* {{nowrap|1=''A'' \ ''A'' = &empty;.}}
:* {{nowrap|1=''U''&prime; = &empty;}} and {{nowrap|1=&empty;&prime; = ''U''.}}
:* {{nowrap|1=''A'' \ ''B'' = ''A'' ∩ ''B''&prime;}}.

የ''A''እና  የ''B'' [[ሚዛናዊ ውጭ ስብስብ]] እንዲህ ይተረጎማል።
:<math>A\,\Delta\,B = (A \setminus B) \cup (B \setminus A).</math>
ለምሳሌ የ {7,8,9,10} እና {9,10,11,12} ሚዛናዊ ውጭ ስብስብ  {7,8,11,12} ነው።

=== ካርቴዣን ብዜት ===
እያንዳንዷን የአንድ ስብስብ አባላት ከሌላው ስብስብ አባላት ጋር በማያያዝ አዲስ ስብስብ መፍጠር ይቻላል።   የ ስብስብ ''A'' እና ''B'' [[ካርቴዥያዊ ብዜት]] እንዲህ ይወከላል ''A'' &times; ''B''፤ ትርጓሜውም  የ[[ቅደም ተከተል ጥንዶች]](''a'', ''b'') ስብስብ [[ሆኖ ሲያበቃ]]፣  ''a'' እዚህ ላይ  የስብስብ ''A'' አባል ሲሆን  ''b'' ደግሞ የስብስብ ''B'' አባል ነው ማለት ነው።ብብ

ምሳሌ:
:* {{nowrap|1={1, 2} &times; {ቀይ, ነጭ} = {(1, ቀይ), (1, ነጭ), (2, ቀይ), (2, ነጭ)}.}}
:* {{nowrap|1={1, 2, green} &times; {red, white, green} = {(1, red), (1, white), (1, green), (2, red), (2, white), (2, green),<br /> &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;(green, red), (green, white), (green, green)}.}}
:* {{nowrap|1={1, 2} &times; {1, 2} = {(1, 1), (1, 2), (2, 1), (2, 2)}.}}

መሰርታዊ የካርቴዢያዊ ብዜት ጸባዮች:
:* {{nowrap|1=''A'' &times; ∅ = ∅.}}
:* {{nowrap|1=''A'' &times; (''B'' ∪ ''C'') = (''A'' &times; ''B'') ∪ (''A'' &times; ''C'').}}
:* {{nowrap|1=(''A'' ∪ ''B'') &times; ''C'' = (''A'' &times; ''C'') ∪ (''B'' &times; ''C'').}}
''A'' እና ''B'' አላቂ ስብስቦች ቢሆኑ  [[#የስብስብ ብዛት|የብዛታቸው]] ጸባይ እንዲህ ነው
:* |&thinsp;''A'' &times; ''B''&thinsp;| = |&thinsp;''B'' &times; ''A''&thinsp;| = |&thinsp;''A''&thinsp;| &times; |&thinsp;''B''&thinsp;|.

== የስነ ስብስብ ቦታ በሂሳብ ጥናት ==
የስብስብ ኅልዮት (ትምህርት) ለሁሉ የሒሳብ ትምህርት መሰረት እንደሆነ ይታመናል።  ለምሳሌ [[አልጀብራ]]፣ [[ቡድን ሂሳብ]]፣ [[መስክ ሂሳብ]]፣ [[ቀለበት ሂሳብ]] በሙሉ አንድ አይነት ወም ሌላ አይነት ስብስቦች ሲሆኑ የሚለያዩትም በአንድ ወይም በሌላ መተግብሪያ (ኦፕሬሽን) ስር መዘጋታቸው ብቻ ነው። በሌላ ጎን የስብስብ ኅልዮት ለ[[ዝምድና ሂሳብ]] መሰረት ነው።  ይሄም ለፈንክሽንና ሌሎች ጽንሰ ሃሳቦች አስፈላጊ ነው።

== ተጨማሪ ንባብ {{en}} ==

*[[Joseph Dauben|Dauben, Joseph W.]], ''Georg Cantor: His Mathematics and Philosophy of the Infinite'', Boston: [[Harvard University Press]] (1979) ISBN 978-0-691-02447-9.
*[[Paul Halmos|Halmos, Paul R.]], ''Naive Set Theory'', Princeton, N.J.: Van Nostrand (1960) ISBN 0-387-90092-6.
*Stoll, Robert R., ''Set Theory and Logic'', Mineola, N.Y.: [[Dover Publications]] (1979) ISBN 0-486-63829-4.
*Velleman, Daniel, ''How To Prove It: A Structured Approach'', [[Cambridge University Press]] (2006) ISBN 978-0-521-67599-4

== የውጭ ድረ ገጾች {{en}} ==
* [http://www.c2.com/cgi/wiki?SetTheory C2 Wiki - Examples of set operations using English operators.]

[[መደብ:ሥነ ስብስብ]]
[[መደብ:ሥነ አምክንዮ]]