A density version of a theorem of Banach

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 to give a density-limit version of a representation theorem of Banach.