拡大実数
↑ ブルバキ, p.115
↑ 伊藤『ルベーグ積分入門』p.12