▾ Set of symbols
▾ Alphabet
▾ Deduction system
▾ Theory
▾ Zermelo-Fraenkel set theory
▾ Set
▾ Subset
Superset
Formulation 0
Let $E$ be a D11: Set.
A D11: Set $X$ is a superset of $E$ if and only if \begin{equation} \forall \, x \in E : x \in X \end{equation}
Also known as
Ambient set
Child definitions
» D955: Proper superset
Results
» R3935: Superset iff equal to union with subset