ThmDex – An index of mathematical definitions, results, and conjectures.
Result R2086 on D1158: Measure space
Finite inclusion-exclusion principle for unsigned basic measure
Subresults
▶ R976: Finite disjoint additivity of unsigned basic measure
▶ R4318: Inclusion-exclusion principle for unsigned basic measure of binary union
▶ R4317: Inclusion-exclusion principle for unsigned basic measure of ternary union