Надмножество

Включает в себя

$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$$