ボレル集合
ボレル集合の -代数は実数上に定義される重要な構造である。 が -代数を持ち、関数 が、すべてのボレル集合 に対して、その原像 が の -代数に属しているとき、 は可測であるという。この可測関数はまた、うえで説明したようなベクトル空間と代数をつくる。