Надмножество
Включает в себя
- $A$ является надмножеством $B$, если все элементы, принадлежащие $B$, также принадлежат $A$
- Нестрогое надмножество:
- $$A \supseteq B \Leftrightarrow \forall b(b \in B \Rightarrow b\in A)$$
- Строгое (собственное) надмножество:
- $$A \supset B \Leftrightarrow \forall b(b \in B \Rightarrow b\in A), \ A \neq B$$
- $$A \supsetneq B \Leftrightarrow \forall b(b \in B \Rightarrow b\in A), \ A \neq B$$
