A D11: Set $X$ is a

**superset**of $E$ if and only if \begin{equation} \forall \, x \in E : x \in X \end{equation}

▾ Set of symbols

▾ Alphabet

▾ Deduction system

▾ Theory

▾ Zermelo-Fraenkel set theory

▾ Set

▾ Subset

▾ Alphabet

▾ Deduction system

▾ Theory

▾ Zermelo-Fraenkel set theory

▾ Set

▾ Subset

Also known as

Ambient set

Child definitions

Results