ボレル階層
数理論理学において、ボレル階層(英語: Borel hierarchy)はポーランド空間の開集合によって生成されるボレル代数の階層化である; この代数の要素はボレル集合と呼ばれる。各ボレル集合にはランクと呼ばれる一意的な可算順序数が割り当てられる。ボレル階層は記述集合論において特に注目されている。
ボレル階層の一般的な使用法の1つは、ランクに関する超限帰納法を使用してボレル集合に関する事実を証明することである。小さい有限なランクの集合の性質は測度論や解析学で重要である。