Anton Sherwood (
Tue, 18 Nov 1997 21:15:14 -0800 (PST)

Carl Feynman writes
: There's a branch of geometry called 'measure theory' that gives us
: tools to think about this kind of problem. ... A measure is a
: function mapping chunks of a space to numbers, having these properties:
: 1. The measure of the union of a finite number of non-overlapping chunks
: is the sum of their measures.
: 2. The measure of the intersection of two chunks is less than or equal to
: the larger of their measures.

not the smaller?

: 3. The measure of any chunk is zero or a positive number.
: PS. I think I've got those axioms right; it's been a few years, and I
: didn't bother looking them up...