ThmDex – An index of mathematical definitions, results, and conjectures.
Set of symbols
Alphabet
Deduction system
Theory
Zermelo-Fraenkel set theory
Set
Subset
Definition D954
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}
Children
Proper superset