…
in measure theory:
measurable space
measure space
in differential geometry
differential form
integration over supermanifolds
in supergeometry
Berezin integral
Lie integration
(…)
A proof of the Riesz representation theorem in constructive mathematics is given in