Unija množic
Iz Wikipedije, proste enciklopedije
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:
[uredi] 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:

[uredi] 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:




