የውጭ ስብስብ

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

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

ምሳሌ:




 አለም አቀፉ ስብስብ U የመቁጠሪያ ቁጥሮችን ቢወክል, E ደግሞ  ተጋማሽ ቁጥሮችን, O   ኢተጋማሽ ቁጥሮችን ቢወክል,  E′ = O.

መሰረታዊ የውጭ ስብስብ ጸባዮች:





  and 
 .

የAእና  የB ሚዛናዊ ውጭ ስብስብ እንዲህ ይተረጎማል።

ለምሳሌ የ {7,8,9,10} እና {9,10,11,12} ሚዛናዊ ውጭ ስብስብ  {7,8,11,12} ነው።

መደብ :ሥነ ስብስብ