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

няма тлумачэння праўкі
[недагледжаная версія][недагледжаная версія]
др (робат Выдаляем: en:Set#Basic operations)
Няма тлумачэння праўкі
{{вызнч|1=Аперацыі над мноствамі}} дазваляюць атрымаць з аднаго або некалькіх існуючых [[мноства]]ў новае мноства. Асноўныя аперацыі над мноствамі:
 
 
* [[аб'яднанне мностваў|аб’яднанне]] мностваў <math>A \cup B</math> мае вынікам мноства, якое месціць усе [[элемент]]ы, якія ўваходзяць хаця б у адно з гэтых мностваў (у A, у B, або ў A і B адначасова)
:<math>~ \vdash \quad \forall x \ (x \in A \cup B \ \leftrightarrow \ x \in A \ \lor \ x \in B \ \lor \ x \in A \cap B)</math>
 
* [[перасячэнне мностваў|перасячэнне]] мностваў <math>A \cap B</math> мае вынікам мноства, якое месціць усе элементы, якія ўваходзяць у абодва мноствы (і ў A, і ў B)
:<math>~ \vdash \quad \forall x \ (x \in A \cap B \ \leftrightarrow \ x \in A \ \land \ x \in B)</math>
 
* [[дапаўненне мностваў|дапаўненне (адніманне)]] мностваў <math>A \setminus B</math> мае вынікам мноства, якое месціць усе элементы, якія ўваходзяць у A, але не ўваходзяць у B
:<math>~ \vdash \quad \forall x \ (x \in A \setminus B \ \leftrightarrow \ x \in A \ \land \ x \notin B)</math>
 
* [[сіметрычнае адніманне мностваў|сіметрычнае адніманне]]
* [[простае памнажэнне мностваў|простае памнажэнне]]
65

правак