thumb|Vennov diagram unije A ∪ B Unija množic je računska operacija med množicami. Rezultat te računske operacije je množica, sestavljena iz elementov, ki pripadajo vsaj eni od danih množic. Unija množic A in B je sestavljena iz elementov, ki so ali v množici A ali v množici B ali v obeh - zato je unija množic povezana z logično disjunkcijo. Unijo množic zapišemo s simbolom , torej:
Lastnosti unije Za poljubne množice A, B in C velja komutativnost: asociativnost: prazna množica je nevtralni element za unijo: za unijo z univerzalno množico U velja: distributivnost glede na presek:
Posplošena unija
Če je podana večja družina množic , lahko izračunamo unijo vseh množic iz te družine. Oznaka za tako unijo je:
Če za indeksno množico vzamemo množico naravnih števil, se to piše tudi kot:
Kategorija:Teorija množic