Перасячэнне мностваў: Розніца паміж версіямі

[недагледжаная версія][недагледжаная версія]
Змесціва выдалена Змесціва дададзена
др робат Дадаем: bg, cs, de, eo, es, et, fi, fiu-vro, fr, he, hu, is, ja, ko, nl, pl, pt, sk, sl, sv, uk, vi, zh, zh-classical
Norman (размовы | уклад)
перасячэння мноства са сваім падмноствам
Радок 7:
* [[камутатыўная аперацыя|камутатыўнасць]]: <math>\forall A, B: A \cap B = B \cap A</math>
* [[асацыятыўная аперацыя|асацыятыўнасць]]: <math>\forall A, B:(A \cap B) \cap C = A \cap (B \cap C)</math>
* перасячэннем мноства зса самімсваім сабойпадмноствам ёсць самое гэтае мноствападмноства: <math>B \forallsubseteq A: \Rightarrow A \cap AB = AB</math>
У прыватнасці,
* перасячэннем мноства з [[пустое мноства|пустым мноствам]] ёсць пустое мноства: <math>\forall A: A \cap \varnothing = \varnothing</math>
:* перасячэннем мноства з [[універсальнаесамім мноства|універсальным мноствам]]сабой ёсць самое гэтае мноства: <math>\forall A: A \cap UA = A</math>
:* перасячэннем мноства з [[пустое мноства|пустым мноствам]] ёсць пустое мноства: <math>\forall A: A \cap \varnothing = \varnothing</math>
:* перасячэннем мноства з [[універсальнае мноства|універсальным мноствам]] ёсць самое гэтае мноства: <math>\forall A: A \cap U = A</math>
 
Асацыятыўнасць аперацыі перасячэння мностваў дае магчымасць разглядаць перасячэнне больш чым двух мностваў як адзіную аперацыю: