A density version of a theorem of Banach

David A. Ross

The S-measure construction from nonstandard analysis is used to prove an extension of a result on the intersection of sets in a finitely-additive measure space. This is then used t…