Definition:Almost-Everywhere Equality Relation/Lebesgue Space

Definition
Let $\struct {X, \Sigma, \mu}$ be a measure space, and let $p \in \closedint 1 \infty$.

Let $\map {\mathcal L^p} {X, \Sigma, \mu}$ be the Lebesgue $p$-space of $\struct {X, \Sigma, \mu}$.

Also see

 * Equivalence of Definitions of Almost-Everywhere Equality Relation on Lebesgue Space