Measurable numerical function
Set
| context | ⟨X,ΣX⟩∈MeasurableSpace(X) |
| postulate | M≡Measurable(X,¯R) |
Where for R we choose the Borel subsets of the reals.
Discussion
Parents
Subset of
Context
| context | ⟨X,ΣX⟩∈MeasurableSpace(X) |
| postulate | M≡Measurable(X,¯R) |
Where for R we choose the Borel subsets of the reals.
