ThmDex – An index of mathematical definitions, results, and conjectures.
Result R2086 on D1158: Measure space
Finite inclusion-exclusion principle for unsigned basic measure