It can be proved that a Borel regular measure, although introduced here as an "outer" measure (only countably "sub"additive), becomes a full measure (countably additive) if restricted to the Borel sets.