ボレル階層
数理論理学において、ボレル階層（ボレルかいそう、英語: Borel hierarchy）はポーランド空間の開集合によって生成されるボレル代数の階層化である; この代数の要素はボレル集合と呼ばれる。各ボレル集合にはランクと呼ばれる一意的な可算順序数が割り当てられる。ボレル階層は記述集合論において特に注目されている。
ボレル階層の一般的な使用法の1つは、ランクに関する超限帰納法を使用してボレル集合に関する事実を証明することである。小さい有限なランクの集合の性質は測度論や解析学で重要である。
ボレル集合
詳細は「ボレル集合」を参照
任意の位相空間においてのボレル代数とは、全ての開集合を含んでいて可算和と補集合を取る操作について閉じている最小の集合族である。ボレル代数は可算交叉についても閉じている。
ボレル代数が正しく定義されていることの短い証明は、空間の冪集合全体が補集合と可算和のもとで閉じていること、したがって、ボレル代数は全ての開集合を含んでいてかつこれらで閉じた性質を持つような集合族全ての共通部分であることを示すことによって進行する。 この証明は、集合がボレルであるかどうかを決定する簡単な手続きを与えるものではない。ボレル階層を考える動機は、ボレル集合のより明確な特徴づけを与えることである。
太字のボレル階層
空間Xにおけるボレル階層または太字のボレル階層は0以上の可算順序数 
- Borel hierarchyのページへのリンク
