Let ##m## be Lebesgue measure. It is another proposition that the functions ##NBV## are in one-to-one correspondence between complex Borel measures, e.g. ##F\in NBV## induces a complex measure ##\mu_F## such that ##F(x)=\mu_F((-\infty,x])##. Then in Folland's real analysis text,
I'll omit the...