Measure theory MOC

Trivial measure

Given a measurable space , the trivial measure is the measure defined by for every . #m/def/measure

#state/tidy | #lang/en | #SemBr