Borel measure
直積空間の二つの因子がたとえ完備測度空間であっても、その直積空間自身が完備測度空間であるとは限らない。したがって、ボレル測度をルベーグ測度に拡張したり、二つのルベーグ測度の積を直積空間上のルベーグ測度を与える上で拡張するためには、完備化の手順が必要となる。