ውህድ ስብስብ
[[File: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 ውህድ እንዲህ ይጻፋል  A ∪ B ። ትርጓሜውም   በ A ወይም በ B  የሚገኙ ሁሉም አባላት ስብስብ ማለት ነው።  

ምሳሌ:
 } 
 } 
 }

አንድ አንድ መሰረታዊ የውህድ ስብስብ ጸባዮች:
 
 
 
 
 
  if and only if 

መደብ:ሥነ ስብስብ