Content deleted Content added
mNo edit summary |
|||
Line 47:
A [[set function]] <math>\mu</math> on a [[family of sets]] <math>\mathcal{S}</math> is called a '''{{visible anchor|modular set function}}''' and a '''[[Valuation (geometry)|{{visible anchor|valuation}}]]''' if whenever <math>A,</math> <math>B,</math> <math>A\cup B,</math> and <math>A\cap B</math> are elements of <math>\mathcal{S},</math> then
<math display="block"> \
The above property is called '''{{visible anchor|modularity}}''' and the argument below proves that additivity implies modularity.
| |||