Measure
Set
| context | Σ∈SigmaAlgebra(X) |
| definiendum | μ∈measure(Σ) |
| context | E∈Σ |
| context | S∈Sequence(Σ) |
| inclusion | μ:Σ→¯R |
| postulate | μ(E)≥0 |
| postulate | μ(∅)=0 |
| postulate | μ(⋃∞j=1Sj)=∑∞j=1μ(Sj) |
Reference
Wikipedia: Measure
Context
Equivalent to
| context | Σ∈SigmaAlgebra(X) |
| definiendum | μ∈measure(Σ) |
| context | E∈Σ |
| context | S∈Sequence(Σ) |
| inclusion | μ:Σ→¯R |
| postulate | μ(E)≥0 |
| postulate | μ(∅)=0 |
| postulate | μ(⋃∞j=1Sj)=∑∞j=1μ(Sj) |
Wikipedia: Measure
