evrensel küme

• bir problemde verilen tüm kümelerin birleşimidir.
  
  a={1,2,3}, b={2,4,6} ve c={6,10} olsun. (harfler büyük)
  
  bu durumda büyük e= a birleşim b birleşim c ={1,2,3,4,6,10} olur.
  
  bir evrensel kümenin onu oluşturan kümelerden birinden farkı o küme için tümleyen olur. örneğin c kümesi için c`= e\c = {1,2,3,4}