Аб’яднанне мностваў: Розніца паміж версіямі

[недагледжаная версія][недагледжаная версія]
Змесціва выдалена Змесціва дададзена
др clean up, replaced: {{*|а}} → а{{subst:націск}}, {{*|о}} → о{{subst:націск}} using AWB (7893)
др clean up, replaced: е у → е ў, {{вызнч|1=Аб’ядна́нне мно́стваў}} → '''Аб’ядна́нне мно́стваў''' using AWB (7794)
Радок 1:
{{вызнч|1='''Аб’ядна́нне мно́стваў}}''' — [[бінарная аперацыя]] над мноствамі, вынікам якой ёсць [[мноства]], якое складаецца з [[элемент]]аў, што ўваходзяць хаця б у адно з гэтых мностваў. Аб’яднаннем мностваў называюць як саму аперацыю, так і мноства, што з’яўляецца яе вынікам.
 
Аперацыя аб’яднання мностваў абазначаецца знакам <math>\cup</math>.
Радок 13:
:* аб’яднаннем мноства з самім сабой ёсць самое гэтае мноства: <math>\forall A: A \cup A = A</math>
:* аб’яднаннем мноства з [[пустое мноства|пустым мноствам]] ёсць самое гэтае мноства: <math>\forall A: A \cup \varnothing = A</math>
:* аб’яднаннем мноства з [[універсальнае мноства|універсальным мноствам]] ёсць самое універсальнаеўніверсальнае мноства: <math>\forall A: A \cup U = U</math>
 
Асацыятыўнасць аперацыі аб’яднання мностваў дае магчымасць разглядаць аб’яднанне больш чым двух мностваў як адзіную аперацыю: