Radon Integrals

As a set function, a Radon measure is an inner compact regular Borel measure, finite on compact sets. Bourbaki defined a Radon measure as a locally uniformly bounded family of compatible positive linear forms, each defined on the vector lattice of continuous functions on some compact subset.