ボレル測度
First, the decomposition of the singular part of a regular Borel measure on the real line can be refined: