Аб’яднанне мностваў
(Пасля перасылкі з Аб'яднанне мностваў)
Аб’ядна́нне мно́стваў — бінарная аперацыя над мноствамі, вынікам якой ёсць мноства, якое складаецца з элементаў, што ўваходзяць хаця б у адно з гэтых мностваў. Аб’яднаннем мностваў называюць як саму аперацыю, так і мноства, што з’яўляецца яе вынікам.
Аперацыя аб’яднання мностваў абазначаецца знакам .
Уласцівасці аб’яднання мностваўПравіць
- камутатыўнасць:
- асацыятыўнасць:
- аб’яднаннем мноства са сваім падмноствам ёсць гэтае мноства: .
У прыватнасці,
- аб’яднаннем мноства з самім сабой ёсць самое гэтае мноства:
- аб’яднаннем мноства з пустым мноствам ёсць самое гэтае мноства:
- аб’яднаннем мноства з універсальным мноствам ёсць самое ўніверсальнае мноства:
Асацыятыўнасць аперацыі аб’яднання мностваў дае магчымасць разглядаць аб’яднанне больш чым двух мностваў як адзіную аперацыю: