ውህድ ስብስብ

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

ምሳሌ:
 } 
 } 
 }

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





  if and only if 

መደብ:ሥነ ስብስብ