# የውጭ ስብስብ
ሁለት ስብስቦች ሊቀናነሱ ይችላሉ።   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} ነው።

የውጭ ስብስብ
[[File:Venn0100.svg|thumb|<div class="center">''B'' ከ ''A'' ሲቀነስ <br/> ወይንም የ''B'' ውጭ ከ''A'' አንጻር </div>]]
[[File:Venn1010.svg|thumb|<div class="center">'''የ ''' ''A'' ውጭ-ስብስብ  በ ''U'' ውስጥ</div>]]
[[File: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} ነው።

{{መዋቅር}}

[[መደብ :ሥነ ስብስብ]]