To complete the buildup of measure theory for locally compact spaces from the functional-analytic viewpoint, it is necessary to extend measure (integral) from compactly supported continuous functions.