Borel measure
実数直線にはルベーグ測度という標準的な測度を入れることができる。ルベーグ測度は 上のボレル測度（区間の測度は区間の長さであるものとして定められる測度）の完備化として定義することができる。