ThmDex – An index of mathematical definitions, results, and conjectures.
Set of symbols
Alphabet
Deduction system
Theory
Zermelo-Fraenkel set theory
Set
Subset
Power set
Hyperpower set sequence
Hyperpower set
Hypersubset
Subset algebra
Subset structure
Measurable space
Measurable set
Null measurable set
Subnull set
Definition D3804
Set of subnull sets
Formulation 0
Let $M = (X, \mathcal{F}, \mu)$ be a D1158: Measure space.
The set of subnull sets with respect to $M$ is the D11: Set \begin{equation} \{ E \subseteq X \mid \exists \, F \in \mathcal{F} : E \subseteq F \text{ and } \mu(F) = 0 \} \end{equation}