Measure and integral on infinite dimensional space - abstraction, harmonic analysis