Изменения

1) # <tex> A \subset B </tex> (A является подмножеством B, каждый элемент из А также принадлежит В (<tex> \forall x: x \in A \Rightarrow x \in B </tex>); 2) # <tex> A \cap B </tex> (Пересечение множеств А и В: <tex> (x \in A) \wedge (x \in B) </tex>); 3) # <tex> A \cup B </tex> (Объединение множеств А и В: <tex> (x \in A) \vee (x \in B) </tex>); 4) # <tex> B \backslash A </tex> (Разность множеств: <tex> (x \in B) \wedge (x \notin A) </tex>; 5) # <tex> \varnothing </tex> - пустое множество: # <tex> A \cup \varnothing = A </tex> # <tex> A \cap \varnothing = \varnothing </tex> # <tex> \forall A: \varnothing \subseteq A </tex> # <tex> \bigcup\limits_{\alpha\in W} A_\alpha</tex> - обьединение нескольких множеств. В общем случае может состоять из бесконечного количества множеств: #* <tex> \bigcup\limits_{j \in N} A_j = A_1 \cup A_2 \cup </tex> ... #* <tex> \bigcup\limits_{0 < x < 1} A_x </tex> #* <tex> \bigcup\limits_{\alpha \in W} A_{\alpha} </tex>, и так далее.. # <tex> A \cup B \cup C ... \subseteq U </tex> - "множество всего". # <tex>\overline{A} = U </tex> \ <tex> A </tex> - дополнение множества А, дополнительное множество к А до U;